Position Details
About this role
This role involves designing and implementing cryptographic security systems, leveraging formal verification and distributed architectures to enhance AWS security infrastructure.
Key Responsibilities
- Design cryptographic systems
- Implement formal verification
- Manage distributed security architectures
- Conduct code reviews
- Ensure operational security
Technical Overview
Focus on cryptography, Rust programming, PKI, formal verification, and distributed system security with emphasis on operational security and monitoring.
Ideal Candidate
The ideal candidate is a security engineer with expertise in cryptographic systems, formal verification, and distributed systems, proficient in Rust, with strong problem-solving and mentoring skills.
Must-Have Skills
Nice-to-Have Skills
Tools & Platforms
Required Skills
Hard Skills
Soft Skills
Industry & Role
Keywords for Your Resume
Deal Breakers
Lack of experience with cryptographic systems, No knowledge of Rust or PKI, Unfamiliar with formal verification, No experience with distributed systems
Get matched to jobs like this
Luna finds roles that fit your skills and career goals — no endless scrolling required.
Create a Free Profile