> Markdown version of [/jobs/ext/2969952-applied-cryptographer](https://www.wearedevelopers.com/jobs/ext/2969952-applied-cryptographer). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md).

---

# Applied Cryptographer

- **Company:** Eu Recruit
- **Location:** Amsterdam, Netherlands
- **Contract:** Permanent contract
- **Skills:** Code Review, Computer Engineering, Formal Verification, Information Theory, Software Engineering, Systems Architecture, Information Technology, Formal Methods
- **Published:** September 18, 2026
- **Apply:** https://eu-recruit.com/jobs/applied-cryptographer/#vacancy-apply

## About the Role

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

## Description

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


## Related Videos

- [When testing just doesn’t cut it](https://www.wearedevelopers.com/videos/720-when-testing-just-doesn-t-cut-it)
- [The Future of Recruiting: Innovations and Challenges in the European IT Sector](https://www.wearedevelopers.com/videos/1056-the-future-of-recruiting-innovations-and-challenges-in-the-european-it-sector)
- [Are Code Reviews Worth It? Insights from 16 Years of Review Data](https://www.wearedevelopers.com/videos/1135-are-code-reviews-worth-it-insights-from-16-years-of-review-data)
- [Architecture 3.0: From 90% to 99.999% Reliability in Building AI Systems](https://www.wearedevelopers.com/videos/100190-architecture-3-0-from-90-to-99-999-reliability-in-building-ai-systems)
- [Fingerboard to Keyboard: Transposing One Profession to Another](https://www.wearedevelopers.com/videos/868-fingerboard-to-keyboard-transposing-one-profession-to-another)
- [AI Meets Hoare Logic: Revolutionizing Software Testing with Formal Methods](https://www.wearedevelopers.com/videos/1644-ai-meets-hoare-logic-revolutionizing-software-testing-with-formal-methods)

## Related Articles

- [Where To Find Software Engineering Jobs](https://www.wearedevelopers.com/magazine/396-where-to-find-software-engineering-jobs)
- [How to Find Tech Jobs in Amsterdam](https://www.wearedevelopers.com/magazine/279-how-to-find-tech-jobs-in-amsterdam)
- [How to land a developer job in Amsterdam](https://www.wearedevelopers.com/magazine/36-how-to-land-a-developer-job-in-amsterdam)
- [The 12 Best Jobs for Software Engineers](https://www.wearedevelopers.com/magazine/401-the-12-best-jobs-for-software-engineers)
- [Where to Find Entry-Level Software Engineering Jobs](https://www.wearedevelopers.com/magazine/397-where-to-find-entry-level-software-engineering-jobs)
- [Find a Developer Job: 12 Best Job Sites For Developers](https://www.wearedevelopers.com/magazine/165-find-a-developer-job-12-best-job-sites-for-developers)