PhD Position: Abstract Interpretation for WebAssembly

Il y a 6 jours

Paris, Nouvelle-Aquitaine, France Inria Temps plein

Inria propose une position de PhD axée sur les domaines des preuves et de la vérification, avec un accent sur l’ingénierie logicielle (BAP E). Le poste est destiné à des candidat(e)s disposant d’un diplôme de niveau Master ou équivalent et possédant une formation compatible avec les thématiques proposées.

La position est probablement localisée en France et s’inscrit dans les politiques de recrutement inclusif d’Inria, en faveur de la diversité et de l’accès pour les personnes en situation de

#J-18808-Ljbffr