PhD Candidate: SpecIA for Embedded Systems
BREST, 29
il y a 6 jours
ENSTA recherche un doctorant pour une thèse à commencer en octobre 2026, axée sur SpecIA, un langage de spécification agile pour les systèmes embarqués. Les missions incluent l'étude bibliographique, la conception logicielle du langage et son application pratique.
Le candidat doit avoir un Master en Informatique ou Électronique, avec des compétences en langages et compilation. Le travail se déroulera au Campus de Brest dans un environnement de recherche dynamique.
#J-18808-Ljbffr
Entreprise
ENSTA
Plateforme de publication
WHATJOBS
Offres pouvant vous intéresser
Optimisation géométrique sous contrainte de frontières immergées pour la simulation thermo-hydr[...]
SAINT PAUL LÈS- URANCE
il y a 6 jours
Contribution à un langage de modélisation automobile formellement vérifié pour les logiciels em[...]
TOULOUSE, 31
il y a 4 jours
Doctorant en psychologie sociale, cognitive et ou/ergonomie appliquée à l'interaction humain-IA dans les environnements maritimes F/H
2 000,00 € - 2 000,00 € / mois
LANVÉOC, 29
il y a 6 jours
AIX EN PROVENCE
il y a 6 jours