Description
Au sein du département Modélisation et Preuve, vous travaillerez sur le développement et la maintenance d'outils logiciels sous Linux dans un contexte rigoureux et de haute technicité. Vous participerez aux missions suivantes : Développer des outils avec des techniques à la pointe : Outils pour appliquer des méthodes formelles, comme des analyseurs syntaxiques/sémantiques, des traducteurs ou des prouveurs, Outils dédiés à des projets clients (Eclipse, Java, EMF, Sirius, Maven, ), Outils de tous…
Employer contacts (email/phone/telegram) are hidden from the public preview —
send your CV, and we will connect you directly.