Compiler and Verification Tools Engineer
Cryspen is a company that build high assurance security-critical software using formal verification. We develop the hax verification toolchain for Rust and apply it to develop cryptographic software used by prominent software companies and projects. We firmly believe that privacy and end-to-end security are the cornerstones of a modern, open society. Our mission is to build usable and effective verification tools that any developer can use to build provably safe and secure applications.
We are currently seeking a Compiler and Verification Tools engineer to join our team. In this role, you will help us extend and improve hax, notably the compilation of Rust to various backend provers like Lean and ProVerif. You will also have the opportunity to apply the toolchain on high-impact codebases as part of various Cryspen projects.
Locations: France, Germany
Tasks
* Maintain the link between the hax toolchain and the rustc compiler
* Implement code transformations for Rust, enabling translations to Lean and ProVerif
* Build usable tools around hax to help users verify real-world software
* Apply and test hax on a variety of prominent Rust projects
Requirements
* Experience in writing and maintaining language compilers and translations
* Proficient in Rust; knowledge of other languages like OCaml is a plus
* Knowledge of formal verification tools and processes is not required, but is a plus
Benefits
- Room to grow personally and professionally
- Work on high-impact projects
- Shape your own role
- Flexible working hours
- Family-friendly work environment
Application Process
We will try to get back to you as soon as possible after sending in your application. After the first screening call, there will be several interviews (video calls) covering technical aspects as well as making sure we are aligned on the core values.
Emplois Recommandés
Key Account Manager GMS H/F - Food coréenne
Le poste de Key Account Manager GMS H/F - Food coréenne Le·la KAM GMS (F/H) pilote la commercialisation, le développement et le suivi des comptes clés GMS. Les missions incluent : Commerciali…
Copy of Alternance Chargé de communication (H/F)
Et si on commençait par vous ? Vous avez envie d'apprendre Vous êtes motivé(e) et dynamique Vous êtes passionné(e) par le secteur de la communication et avez envie de développer vos compéten…
Chef de cuisine (F/H)
Nous recrutons un(e) chef.fe pour notre Brasserie Bellanger, dans le 10e arrondissement. À propos de nous Pour un nouvel âge d’or de la brasserie traditionnelle française La Nouvelle Gar…
Agent de service logistique — H/F
Agent de service logistique — H/F L’Association NDBS reconnue d’utilité publique, perpétue des valeurs humanistes fortes autour de l’écoute, de l’accueil et de « prendre soin ». Véritable village…
Conseiller de vente itinérant Germanophone, Anglophone et Francophone H/F
« Chocolat, le mot se savoure avec gourmandise » Cette phrase vous parle ? Rejoignez notre équipe de passionnés et plongez au cœur de l'aventure gourmande du Chocolat Alain Ducasse. Vous aurez l'opp…
EMEA Retail Operations Assistant Intern
Saint Laurent is seeking an EMEA Retail Operations Assistant Intern in Paris. The intern will support the EMEA Operations department in managing daily operations, including order tracking, budget anal…
Acheteuse/Acheteur projet - Domaine IT H/F
Description du poste Domaine et métier Achat - Acheteuse / Acheteur projet Intitulé du poste Acheteuse/Acheteur projet - Domaine IT H/F Cotation RIFSEEP Cotation 3 Versant Fonc…
Software engineer junior (H/F) - Alternance
Afin d’accompagner la croissance d’Innovorder, nous recrutons un(e) Software Engineer junior en alternance pour rejoindre notre pôle Engineering. Notre ambition est claire : devenir le leader e…
Pharmacien (H/F) en Pharmacie d'Officine - CDI Temps plein - France (75019)
Poste disponible pour un Pharmacien (H/F) en Pharmacie d'Officine avec un contrat CDI à Temps plein (35 h/semaine) situé à PARIS (75019 , Île-de-France - France). Les missions principales seront : …
Educateur de Jeunes Enfants H/F ( 75020 PARIS 20, France )
Babilou, Entreprise à mission, est un des leaders mondiaux de l’éducation et de la petite enfance et membre de la Coalition mondiale pour l’éducation de l’UNESCO. Nous sommes présents dans 12 pays av…