Описание
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…
Контакты работодателя (email/phone/telegram) скрыты из публичного превью —
отправьте резюме, чтобы мы связали вас напрямую.