Senior Security Engineer – Privacy & ZKP
About The Position
We are seeking an exceptional Senior Security Engineer – Privacy & ZKP to join our pioneering team as an Equity Co-Founder at the forefront of native blockchain execution. At Autheo, we are building the platform that redefines decentralized computation, delivering sub-microsecond execution speeds, billions of transactions per second throughput, and mathematically proven security against adversaries. You will own the entire privacy stack that makes surveillance mathematically impossible — 1–5 ms zk-SNARK/STARK proofs at 50 B+ TPS, ε=0.5 differential privacy on all metadata, CKKS/TFHE homomorphic queries at 25 μs, secure MPC across 10,000+ nodes, and full GDPR/CCPA/HIPAA/HITRUST compliance baked into every layer.
Requirements
- 8+ years shipping production privacy systems (zk-SNARKs/STARKs, FHE, MPC, DP)
- Multiple mainnet deployments with ≥10 B private transactions processed
- Proven formal verification of privacy properties in Coq/EasyCrypt/F
- Hands-on GPU-accelerated proof generation and homomorphic computation
- Experience passing SOC 2 Type II / HITRUST / HIPAA audits for privacy tech
Nice To Haves
- First-author papers at PETS, IEEE S&P, CCS, or ZKProof
- Patents in recursive proofs, private smart contracts, or regulatory-compliant zk
- Experience leading GDPR/CCPA compliance certification
Responsibilities
- Ship production zk-SNARK + zk-STARK systems generating 1–5 ms proofs at 50 B+ TPS with GPU tensor-core acceleration
- Build recursive + incremental proof composition for constant-size aggregation of millions of transactions
- Implement global ε=0.5 differential privacy with tight privacy-budget accounting (δ<10⁻⁵) across DePIN and blockchain logs
- Deploy CKKS/TFHE homomorphic pipelines enabling encrypted queries and analytics at 25 μs latency
- Design secure MPC protocols for federated training and private set intersection on sensitive healthcare/DeFi data
- Embed automated right-to-be-forgotten via zk-redaction while preserving chain integrity
- Deliver formal privacy proofs (IND-CPA, RUP, DP) using EasyCrypt/Coq and automated CI verification
- Build developer SDKs that make “private by default” zero-config for dApps
- Publish privacy + zk breakthroughs at IEEE S&P, USENIX Security, PETS, CCS
- Keynote at PETS 2026 / ZKProof 2026 on “50 Billion Private TPS with Formal Guarantees
Stand Out From the Crowd
Upload your resume and get instant feedback on how well it matches this job.
What This Job Offers
Job Type
Part-time
Career Level
Mid Level
Education Level
No Education Listed
