Chercheur en Vérification Formelle par Scénarios Concurrents

CNRS en Île-de-France recherche un(e) chercheur(se) pour développer des algorithmes de vérification formelle dédiés aux systèmes concurrents ou distribués. Le poste vise à faire progresser le raisonnement basé sur des scénarios et à concevoir des outils qui dérivent automatiquement des quotients d'exécution à partir du code source.

Le candidat doit être titulaire d'un Doctorat en informatique et démontrer une expertise en informatique théorique et en méthodes formelles.