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
Développeur Fullstack Python (H/F) - CDI (IT)
Développeur Fullstack Python (H/F) - CDI | Paris | Télétravail fréquent | 45K-60K EUR | > 5 ans | Bac +5 / Master * * * Le poste Descriptif du poste Au sein de la Direction Technique de notre clie…
Commercial(e) Indépendant(e)
Le poste : Commercial(e) Indépendant(e) - Développement de missions en recrutement Statut : Indépendant / Freelance Rémunération : Commission attractive sur chaque mission signée &##127919…
Comptable Recouvrement de créances H/F
En tant que COMPTABLE RECOUVREMENT DE CRÉANCES, vous aurez les responsabilités suivantes : * Assurer les relances auprès des client·e·s ainsi que des équipes internes. * Effectuer le contrôle mens…
Guest Supervisor (H/F)
Le Groupe Machefert recrute son Guest Supervisor (H/F) pour renforcer son équipe ! Sous la responsabilité du Front Office Manager / Directeur(trice) d’Hôtel vous serez en charge des missions s…
Chef de projet informatique digital - Interactions client et IA - Secteur bancaire (IT) / Freelance
Descriptif de l'offre Contexte : Au sein de la Direction du Digital d'un établissement bancaire de premier plan, le pôle Canaux Digitaux – équipe Digitale Transverse et Clients – renforce se…
Ingénieur génie électrique F/H
Le poste : Votre projet ? Dans le cadre de notre développement, nous recherchons un(e) Ingénieur(e) en génie électrique pour rejoindre un projet d'envergure chez l'un de nos clients. Vos princi…
+ 3 ans
À propos de nous Travailler avec Kangourou Kids, c'est rejoindre le Meilleur Employeur de France du secteur ! Vous êtes passionné par les enfants ? Rejoignez dès maintenant notre équipe de professionn…
Tech Lead Full Stack .Net/React - Acteur Innovant de la Mobilité - Paris (H/F)
Descriptif de l'offre Contexte du poste Rejoignez un acteur émergent de la mobilité à Paris, en pleine expansion et engagé à révolutionner l'expérience automobile. Intégrez notre département Pr…
Chargé(e) des Ressources Humaines
✨ GoldUnion, qui sommes-nous ? &##128578; Depuis plus de 10 ans ⏳, GoldUnion se consacre à l' achat et à la vente de métaux précieux &##128176;, avec une croissance remarquable &##128200;. …
Master Data Intern
Kering seeks a Master Data Intern in Paris to join the EMEA Shared Services Center. This role involves managing supplier and customer data, participating in process improvement projects, and engaging …