Applied Cryptographer – Cryptography / Formal Verification / Post-Quantum Security

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

Job summary

European Tech Recruit is assisting a fast-scaling semiconductor technology organisation in Amsterdam, NL, to hire an experienced Applied Cryptographer. You will design, analyse, and implement robust cryptographic solutions across security-focused systems, working closely with hardware and software teams.

The role combines deep theoretical cryptography with practical implementation, including formal verification, security proofs, and code reviews, in a highly collaborative environment.

Qualifications

• Master's or PhD in CS/Math with cryptography focus
• Strong deep understanding of modern cryptography and PQC
• Experience implementing and maintaining cryptographic libraries and protocols

Responsibilities

• Design and implement advanced cryptographic algorithms and protocols
• Perform formal verification and security proofs
• Collaborate with hardware and software teams to integrate cryptography
• Conduct security reviews and audits of crypto-related code
• Monitor latest cryptographic research and best practices

Skills

Cryptography expertise

Formal methods

Security research

Cryptographic libraries

Cross-functional collaboration

Education

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

Tools

Formal verification tools

Crypto libraries (OpenSSL, libsodium)

Job description

We are currently partnered with a fast-scaling semiconductor technology organisation developing next-generation hardware and software products. They are looking to hire an experienced Applied Cryptographer to design, analyse, and implement robust cryptographic solutions across highly complex security-focused systems.

This role combines deep theoretical cryptography with practical implementation, working closely with hardware and software engineering teams to integrate security technologies into next-generation product architectures.

Key responsibilities

• Design, develop, and implement advanced cryptographic algorithms and protocols
• Analyse proposed and existing cryptographic algorithms and protocols to identify and mitigate security vulnerabilities
• 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 security audits, code reviews, and detailed security analysis
• Support security assurance and compliance activities against leading industry certifications
• Monitor emerging cryptographic research, attacks, vulnerabilities, and industry best practices

Key requirements

• Master's or Ph.D. degree in Computer Science, Mathematics, Computer Engineering, or a related discipline with a focus on cryptography
• Strong theoretical and practical expertise in modern cryptography
• Deep understanding of classical and modern cryptographic algorithms and protocols
• Strong knowledge of symmetric, asymmetric, and post-quantum cryptography
• Proven experience implementing and maintaining cryptographic libraries
• Demonstrable experience with formal methods, formal verification, and/or formal security proofs
• Strong mathematical foundations relevant to cryptography and security
• Experience analysing complex security problems and translating theoretical concepts into practical implementations
• Strong ability to work across hardware and software engineering environments

Keywords

Applied Cryptographer / Cryptographer / Senior Cryptographer / Cryptography Engineer / Cryptography Researcher / Applied Cryptography / Cryptographic Engineering / Cryptographic Algorithms / Cryptographic Protocols / Symmetric Cryptography / Asymmetric Cryptography / Public Key Cryptography / Post-Quantum Cryptography / PQC / Quantum-Safe Cryptography / Cryptographic Libraries / Security Engineering / Hardware Security / Software Security / Formal Methods / Formal Verification / Formal Security Proofs / Security Proofs / Security Analysis / Cryptanalysis / Vulnerability Analysis / Security Auditing / Code Review / Security Assurance / Security Certification / Number Theory / Complexity Theory / Information Theory / Probability Theory / Abstract Algebra / Formal Analysis / Computer Science / Mathematics / Computer Engineering / Semiconductor Security / Hardware-Software Security / Secure Systems

By applying to this role, you understand that we may collect your personal data and process it in line with our privacy policy.

https://eu-recruit.com/wp-content/uploads/2025/01/European-Tech-Recruit-Privacy-Notice-2025.pdf