Senior Cryptography Engineer
About The Position
We are seeking an exceptional Senior Cryptography Engineer 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 cryptographic stack that makes Autheo runs on — post-quantum KEMs & signatures (ML-KEM, ML-DSA, SLH-DSA), fully homomorphic encryption (CKKS/TFHE), zk-SNARK/STARK circuits, perfect forward secrecy transport, enclave attestation, and differential privacy — all proven secure via formal methods and hardened to run at 50 B+ TPS with sub-10 μs per operation.
Requirements
- 8+ years designing and shipping production cryptographic systems in Rust/C++
- Multiple mainnet deployments using lattice-based or zk primitives at scale
- Proven formal verification of IND-CCA2/EUF-CMA security using Coq/EasyCrypt/F
- Hands-on post-quantum migration (NIST PQC finalist algorithms)
- Deep expertise in side-channel resistant constant-time implementation
Nice To Haves
- Author or major contributor to NIST PQC submissions or IETF PQ standards
- First-author papers at Crypto/Eurocrypt/TCC
- Patents in FHE, zk-SNARKs/STARKs, or post-quantum signatures
Responsibilities
- Design and ship production FIPS 203–206 (ML-KEM, ML-DSA, SLH-DSA) suite at <10 μs per op
- Build hybrid PQ + classical migration paths with zero-downtime key rotation
- Implement CKKS/TFHE homomorphic execution for encrypted state and DePIN payloads
- Ship zk-SNARK/STARK proof systems generating 1–5 ms proofs for L1 transitions and rollups
- Harden SGX + TrustZone enclaves with 1 TB EPC, remote attestation, and sealed memory
- Deliver sub-15 μs post-quantum secure transport with perfect forward secrecy and replay protection
- Embed ε=0.5 differential privacy at consensus, storage, and VM layers
- Formally verify IND-CCA2, EUF-CMA, and side-channel resistance using TLA+, Coq, EasyCrypt
- Optimize crypto for AVX-512 + GPU tensor cores achieving 200 GB/s DePIN encryption throughput
- Publish PQ, FHE, and zk breakthroughs at Crypto, Eurocrypt, Asiacrypt, TCC
- Keynote at Real World Crypto 2026 on “50 Billion Post-Quantum TPS with Formal Proofs”
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
