Cryptography Engineer

European Tech Recruit; Amsterdam; On-site; EUR 90,000 - 130,000; Full time

Job summary

European Tech Recruit seeks an experienced Applied Cryptographer to join a fast-scaling semiconductor company in Amsterdam. You will design, analyze and implement robust cryptographic solutions for next-generation hardware and software products.

The role focuses on formal verification, security proofs, and ensuring cryptographic integrity across software and hardware integrations.

Qualifications

• Strong background in both theoretical and practical cryptography.
• Proven experience with formal verification or proofs of security.
• Experience implementing and maintaining cryptographic libraries.
• Solid mathematical foundations in number theory, information theory, and algebra.

Responsibilities

• Design, develop and implement advanced cryptographic algorithms and protocols.
• Identify and mitigate vulnerabilities in existing and proposed cryptographic schemes.
• Perform formal verification and develop formal security proofs for cryptographic algorithms and protocols.
• Work with hardware and software teams to integrate cryptographic solutions into system architectures.
• Conduct rigorous security analyses and documentation to support certifications.

Skills

Cryptography expertise

Formal methods

Cryptographic libraries

Mathematical foundations

Education

Master's or PhD in CS/Math/CE with cryptography focus

Job description

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