Offres d'emplois pour ingénieur concepteur / ingénieure conceptrice informatique à Corbeil-Essonnes
1 offre d'emploi actuellement disponible à Corbeil-Essonnes pour travailler comme ingénieur concepteur / ingénieure conceptrice informatique.
Post-docotrant ou post-doctorante en preuve mécanisée (H/F)
💼 CDD - 12 Mois (Temps plein)
📍 SCES COMMUNS IMT BUSINESS SCHOOL TELECOM (91 - EVRY COURCOURONNES)
Ce poste est proposé dans le cadre du projet ANR ICSPA (http://icspa.inria.fr/), qui cherche à améliorer la confiance dans les assistants à la preuve basés sur la théorie des ensembles (méthode B, TLA+). Pour cela, l'idée est d'exporter les preuves trouvées par de tels outils dans le cadre logique Dedukti, et égalem...