[ingénieur 2021-22] Amélioration de la syntaxe d’un outil de model-checking temporisé paramétré

Je propose un CDD de deux ans pour un⋅e ingénieur⋅e jeune diplômé⋅e, financé par Inria (environ 2600€ brut / mensuel + remboursement de 50% des frais de transport + accès cantine Inria).

Si vous êtes un⋅e excellent⋅e ingénieur⋅e en informatique (avec, si possible, une ou plusieurs compétences en génie logiciel, programmation OCaml, programmation Python, méthodes formelles…), merci de me contacter sur engineer@loria.science en fournissant tous les documents nécessaires (CV, description de vos compétences, recommandations éventuelles, etc.).

Date d’embauche souhaitée : 1er janvier 2021 (deux ans)

Sujet d’ingénieur 2 ans : Amélioration de la syntaxe d’un outil de model-checking temporisé paramétré

Encadrant : Étienne André

Mots-clés : génie logiciel, programmation OCaml, méthodes formelles, model-checking, systèmes temps-réel, cybersécurité, analyse de programmes, IMITATOR

Lieu de travail : LORIA, Université de Lorraine, Nancy, France

Voir le sujet complet du poste

Logo d'Inria