[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 [...]