description
Le CEA LIST recrute un ingénieur de recherche en méthodes formelles pour l’informatique quantique dans le cadre d’un contrat à durée déterminée sur le site Nano-Innov à Saclay, en France. Le poste porte sur la vérification formelle de programmes hybrides quantiques-classiques, notamment la vérification automatisée de propriétés de haut niveau, la vérification fonctionnelle, la vérification d’équivalence, la recherche théorique, le développement de prototypes et l’analyse expérimentale pour l’environnement Qbricks. Les candidats doivent être titulaires d’un doctorat ou justifier de plus de trois ans d’expérience en recherche ou en développement, et posséder des compétences en programmation fonctionnelle, des connaissances en méthodes formelles et en informatique quantique, ainsi que des capacités de gestion de projet. Le contrat est de 18 mois, renouvelable une fois, pour une durée maximale de 36 mois ; le télétravail est possible.
