Sort by
Refine Your Search
-
Category
-
Country
-
Employer
- Delft University of Technology (TU Delft)
- Eindhoven University of Technology (TU/e)
- Aarhus University
- Chalmers University of Technology
- Leiden University
- Max Planck Institute for Informatics •
- Politehnica University of Timisoara
- UNIVERSITY OF VIENNA
- University of A Coruña
- University of Amsterdam (UvA)
- University of Potsdam •
- University of Vienna
- 2 more »
- « less
-
Field
-
software developed concurrently by a postdoc in our team. The successful applicant will be an integral member of the GreenTE community, which offers an open, diverse and inspiring environment to engage in
-
. The postdoctoral fellow will conduct research on Algorithmic Verification of Concurrent Systems within the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus
-
and implementation of modern, practical, and interesting software systems raises a multitude of research questions from several fields such as software and domain engineering, system modelling and
-
Degree Dr Course location Saarbrücken In cooperation with Max Planck Institute for Software Systems, RPTU Kaiserslautern-Landau, Saarland University Teaching language English Languages All courses