Charnetwork
Cryptography and Systems Researcher
Miami, Florida, United States
Sponsorship not specifiedDetected 77 days ago
C++Distributed SystemsCybersecurityMechanical DesignResearchCommunicationCollaboration
About the role
- This role sits at the intersection of research and engineering.
- Your focus is on the cryptographic foundations that make Char's protocol secure and efficient: designing and analyzing commitment schemes, aggregation protocols, proof systems, and fork-free coordination mechanisms.
- This is not a pure theory role, you'll write code.
Responsibilities
- Design and analyze cryptographic schemes: BLS proof-of-stake commitments, signature aggregation protocols, hash-based accumulator designs, and zero-knowledge proof systems for Bitcoin anchoring
- Develop and validate cryptographic implementations: work with the protocol team to guide BLS Purify integration, verify protocol specifications against implementation, and conduct security reviews
- Build simulations and prototypes in Rust or C++ to validate cryptographic protocol designs under adversarial conditions: analyze safety/liveness and attack resilience
- Deep expertise in applied cryptography: signature schemes, commitment schemes, zero-knowledge proofs, or cryptographic protocol design
- BLS proof-of-stake commitments, signature aggregation protocols, hash-based accumulator designs, and zero-knowledge proof systems for Bitcoin anchoring
- Build simulations and prototypes in Rust or
- signature schemes, commitment schemes, zero-knowledge proofs, or cryptographic protocol design
Requirements
- Ability to move between theory and practice: formal reasoning, mathematical modeling, and implementation
- Exceptional communication skills-you can explain complex cryptographic ideas clearly to both researchers and engineers
- PhD or equivalent research experience in cryptography, distributed systems, or a related field
- Experience with formal verification, model checking, or advanced testing frameworks
- Experience with game-theoretic analysis or mechanism design (helpful for understanding protocol incentives)
Nice to have
- Miami, FL strongly preferred ·
Skills
- Strong programming skills in Rust or C++ (or equivalent systems languages)
- Experience designing, analyzing, or breaking adversarial cryptographic protocols or consensus systems
Company info
- What We're Looking For
Apply directly at Charnetwork →Create a free account for alerts like thisView Charnetwork immigration profile
This listing is sourced directly from Charnetwork's careers page and normalized into a canonical job model.