Missions

Développer et implanter des analyses statiques pour des familles de modèles d'interactions entre protéines, définies par des contraintes paramétriques.

Activités

Étude de la littérature sur les Metalangage (KAMI, IOTA, PySB)
Étude de la littérature sur l'analyse statique des modèles décrits par des règles de réécriture (Kappa)
Choix d'un métalangage cible pour l'analyseur statique
Conception d'une analyse statique paramétrée pour le langage cible.
Implantation en OCaml de cette analyse et intégration dans l'analyseur statique existant Kappa.

Compétences

Connaissances scientifiques :
- Expertise en méthodes formelles ;
- Expertise en programmation ;
- Notions de biologie calculatoire.

Savoir être :
- Capacité d'écoute ;
- Curiosité intellectuelle ;
- Esprit d'initiative.

Savoir faire :
- Capacité d'abstraction ;
- Formaliser et prouver ;
- Programmer.

Contexte de travail

Le candidat sera hébergé dans l'équipe Antique au Département d'Informatique de l'École Normale Supérieure, dans l'objectif d'étendre le domaine d'application de l'analyseur statique KaSA à des familles de modèles, ce qui permettra une utilisation en amont de la chaîne de modélisation.

Contraintes et risques

N/A