Research and Development Engineer in Formal Methods - 12 months contract
Institut Mines-Télécom
(€34k - €43k)
R&D engineer position at Télécom Paris contributing to the VITAMIN C project, which develops formal verification methods and tools for cybersecurity properties in distributed and autonomous multi agent systems. The role focuses on formal modelling of cybersecurity scenarios, str…
