Cryptography Engineer

Our client is a fast-scaling, highly ambitious and cutting-edge semiconductor company developing next-generation hardware and software products.

They are looking for an experienced Applied Cryptographer with a strong background in both theoretical and practical cryptography to join their engineering team.

In this role, you will design, analyse and implement robust cryptographic solutions, helping to ensure the security of next-generation products. The ideal candidate will have a deep understanding of cryptographic principles, hands-on implementation experience and a passion for solving complex security challenges.

Key Responsibilities

• Design, develop and implement advanced cryptographic algorithms and protocols.
• Identify and mitigate vulnerabilities in existing and proposed cryptographic algorithms and protocols.
• Perform formal verification and develop formal security proofs for cryptographic algorithms and protocols.
• Work closely with hardware and software engineering teams to integrate cryptographic solutions into system architectures.
• Conduct rigorous security audits, code reviews and security analysis to support compliance with leading security assurance certifications.
• Stay up to date with the latest cryptographic research, attacks and industry best practices, evaluating their potential impact on products.
• Create and maintain detailed documentation covering cryptographic designs, specifications and security analyses.
• Provide regular project updates, track progress against key milestones and identify potential risks at an early stage.

Key Requirements

• Master's or Ph.D. degree in Computer Science, Mathematics, Computer Engineering or a related discipline, with a focus on cryptography.
• Strong expertise in cryptography, covering both classical and modern algorithms and protocols, including symmetric, asymmetric and post-quantum cryptography.
• Proven experience implementing and maintaining cryptographic libraries.
• Demonstrable experience with formal methods, formal verification and/or developing formal security proofs.
• Strong mathematical foundations, including Number theory, Complexity theory, Information theory, Probability theory, Abstract algebra, Formal analysis