Thèse : Spécification et vérification des programmes quantiques
FEMTO-ST
Besançon, France
il y a 3j

Le département informatique (DISC) de FEMTO-ST propose un contrat doctoral de trois ans à partir d'octobre 2018.

L'objectif global est d'appliquer des méthodes formelles du génie logiciel à la conception, l'implémentation et la vérification de programmes quantiques.

Le candidat recruté sera intégré dans le projet pluridisciplinaire I-SITE-BFC I-QUINS.

Profil : Les candidats doivent avoir une maîtrise en informatique, avec des compétences avérées dans le domaine des méthodes formelles, spécification formelle, vérification et validation.

Des compétences dans les environnements de preuve Coq ou Isabelle seront appréciés. La maîtrise de l'anglais est importante et les candidats doivent être en mesure d'écrire et de présenter un travail scientifique.

Postuler
Ajouter aux favoris
Retirer des favoris
Postuler
Mon email
En cliquant sur « Continuer », je consens au traitement de mes données et à recevoir des alertes email, tel que détaillé dans la Politique de confidentialité de neuvoo. Je peux retirer mon consentement ou me désinscrire à tout moment.
Continuer
Formulaire de candidature