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

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

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