Poste d’ingénieur⋅e

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

Contact : engineer@loria.science

Sujet de post-doctorat

Je propose le sujet de post-doctorat suivant. Le post-doc est financé (2400€ nets / mensuels + remboursement de 50% des frais de transport).

Si vous êtes un⋅e excellent⋅e docteur en méthodes formelles, merci de me contacter sur postdoc.promis@lipn13.fr en fournissant tous les documents nécessaires (CV, liste de publications, rapports de thèse, recommandations, etc.).

Sujet de post-doctorat : Détection d’attaques par canaux temporisés à l’aide de méthodes formelles

Encadrant : Étienne André

Mots-clés : méthodes formelles, model-checking, cybersécurité, opacité, cryptographie, synthèse de paramètres, analyse de programmes

Lieu du post-doctorat : LORIA, Université de Lorraine, Nancy, France

Voir le sujet complet du post-doc

Contact : postdoc.promis@lipn13.fr

Sujets de thèse et stage de Master 2 recherche

Je suis susceptible d’avoir des possibilités additionnelles de financement, et accepte les candidatures spontanées d’excellent⋅e⋅s étudiant⋅e⋅s pour des thèses de doctorat et stage de Master 2 recherche, dans le même contexte (méthodes formelles et sécurité) que le sujet de post-doc ci-dessus.