Applied Cryptographer

About the job

Applied Cryptographer Fortaegis is a fast-scaling, highly ambitious and cutting-edge semiconductor company. We are looking for an experienced Applied Cryptographer with a strong background in both theoretical and practical cryptography to join our engineering team. In this role, you will design, analyze, and implement robust cryptographic solutions, ensuring the security of our next-generation hardware and software products. The ideal candidate will have a deep understanding of cryptographic principles, hands-on implementation experience, and a passion for solving complex security challenges. We are looking for candidates with not only an exceptional skillset, but also an exceptional mindset, willing to go above and beyond to make our breakthrough product even better.

Responsibilities:

• Design, develop, and implement advanced cryptographic algorithms and protocols.
• Identify and mitigate vulnerabilities in existing and proposed cryptographic algorithms/protocols.
• Perform formal verification and security proofs for cryptographic algorithms/protocols.
• Work closely with diverse hardware and software teams to incorporate cryptographic solutions into system architectures.
• Conduct rigorous security audits, code reviews, and analysis to ensure compliance with top security assurance certifications.
• Stay updated with the latest cryptographic research, attacks, and best practices, and evaluate their impact on our products.
• Create and maintain detailed documentation for cryptographic designs, specifications, and security analyses.
• Provide regular project updates, reporting progress against key milestones and identifying risks early.

Qualifications:

• Master's, or Ph.D. degree in Computer Science, Mathematics, or Computer Engineering with a focus on cryptography.
• Expertise in cryptography, including both classical and modern algorithms/protocols (e.g., symmetric, asymmetric, post-quantum).
• Proven experience implementing cryptographic libraries and maintaining them.
• Demonstrable ability to perform formal methods, formal verification, or create formal security proofs.
• Strong mathematical foundation, including number theory, complexity theory, information theory, probability theory, abstract algebra, and formal analysis.