Applied Cryptographer

• 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.

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.

We are looking for candidates with not only an exceptional technical skillset, but also an exceptional mindset - individuals who are willing to go above and beyond to help make a breakthrough product even better., * 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