TopicComputer Science
Formal Methods
1 Position
Latest
PositionComputer Science
Benoît Frénay
Faculty of Computer Science, UNamur
Namur, Wallonia
Jan 4, 2026
The Faculty of Computer Science at UNamur has an open academic position in distributed systems. The Faculty is more than 50 years old and is located in Namur, an historical city at the center of Wallonia. We are looking for candidates that will create and contribute to collaborations in line with the Faculty's areas of interest (software engineering, data engineering, data science, artificial intelligence, security, formal methods, modeling...).
Formal Methods coverage
1 items
Position1
Domain spotlight
Explore how Formal Methods research is advancing inside Computer Science.
Visit domain