<aside> 🌍 We will be able to hire you in Germany or France, or offer contracting if you’re based in another European country. We are based in Paris and Berlin.
</aside>
Cryspen is a small mission-driven company building customisable high assurance cryptographic software.
We believe that privacy and end-to-end security are fundamental and a crucial piece for a modern and open society.
Our mission is to provide services and software for high assurance cryptography in order to establish trust into critical systems.
We are looking for an engineer who will be responsible for guiding and implementing the transition of HACL* from a research artefact to a production library.
The role spans engineering tasks across build systems, developer tools, and continuous integration, as well as general maintenance and release management. Basic knowledge of build and continuous integration systems as well as software engineering is therefore needed.
Writing and maintaining cryptography libraries is a delicate task that requires attention to detail and the utmost care. Cryspen's formally verified cryptography even more so. An ideal candidate therefore is able to handle highly sensitive and highly detailed tasks.
We expect basic understanding of all involved technologies and concepts. However, we invite early career professionals and recent graduates to apply in particular.