Ingénieur-Chercheur – méthodes formelles pour le quantique

CEA; Saclay; Hybride; EUR 40 000 - 60 000; Plein temps

Résumé du poste

Un institut de recherche recherche un Ingénieur-Chercheur pour des méthodes formelles en informatique quantique à Paris-Saclay. Le candidat idéal doit avoir un doctorat, des compétences en programmation fonctionnelle, et savoir travailler en équipe. Ce poste est en CDD, d'une durée de 18 à 36 mois, et comprend le développement d'outils pour des systèmes IA. Des avantages comme le télétravail, des formations et un environnement de recherche unique sont offerts.

Prestations

Équilibre vie privée / vie professionnelle

Formations pour renforcer les compétences

Restaurant d’entreprise subventionné

Frais de transports couverts à 75%

Navettes dédiées au départ de Paris

Qualifications

• Plus de trois ans d’expérience dans une équipe de recherche et/ou développement.
• Connaissance de modèles hybrides et circuits quantiques.

Responsabilités

• Développer des techniques et outils formels pour la programmation quantique.
• Assurer la vérification automatique de programmes quantiques.
• Développer des prototypes et analyser les résultats.

Connaissances

Maitriser un langage fonctionnel (idéalement OCaml)

Connaissance des méthodes formelles

Connaissance de l’informatique quantique

Travail en équipe

Prise d’initiative et de responsabilité

Formation

Doctorat

Description du poste

Un institut de recherche recherche un Ingénieur-Chercheur pour des méthodes formelles en informatique quantique à Paris-Saclay. Le candidat idéal doit avoir un doctorat, des compétences en programmation fonctionnelle, et savoir travailler en équipe. Ce poste est en CDD, d'une durée de 18 à 36 mois, et comprend le développement d'outils pour des systèmes IA. Des avantages comme le télétravail, des formations et un environnement de recherche unique sont offerts.