(English) PhD opportunity at Inria/Irisa on logical contracts for cyber-physical systems
Désolé, cet article est seulement disponible en English.
Author: garavel
(English) PhD positions in Computational Linguistics (with Formal Methods)
Désolé, cet article est seulement disponible en English.
(English) Post-doc positions in Brussels on games for reactive synthesis
Désolé, cet article est seulement disponible en English.
(English) Postdoc on translation and validation from Liquid Haskell, Rennes, France
Désolé, cet article est seulement disponible en English.
(English) Researcher permanent position at ONERA, Toulouse, France
Désolé, cet article est seulement disponible en English.
(English) Poste de Maître de Conférences à Lyon: « Sécurité, sûreté »
Désolé, cet article est seulement disponible en English.
(English) Research officer in theoretical foundations of cyber security at Swansea University
Désolé, cet article est seulement disponible en English.
(English) Open PhD position in Pesto team at Inria (Nancy, France)
Désolé, cet article est seulement disponible en English.
(English) PhD Student positions in Cyber-physical Systems (Australian National University)
Désolé, cet article est seulement disponible en English.
(English) Research Positions at Galois (Portland and Arlington, USA)
Désolé, cet article est seulement disponible en English.