[Concurrency] Postdoctoral position in the Formal Methods Group at
The Eindhoven University of Technology (TU/e) has the following vacancy
(V32.022):
Postdoc “INtegrated European Signalling System” (INESS) project
within the expertise group Formal Methods (FM).
The Formal Methods (FM) group aims at a systematic and scientific study
of issues in computer science, based on solid mathematical principles.
The research area of Formal Methods develops the mathematics of computer
science. We […]