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

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.

#J-18808-Ljbffr