Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Karolinska Institutet
- Karolinska Institutet, doctoral positions
- SciLifeLab
- University of Groningen
- ;
- ; Swansea University
- Cranfield University
- Delft University of Technology (TU Delft)
- Infra Plan consulting
- RPTU University of Kaiserslautern-Landau •
- University of Lund
- Uppsala universitet
- ; The University of Manchester
- ; UWE, Bristol
- ; University of Surrey
- Aalborg University
- BI Norwegian Business School
- CNRS
- Chalmers University of Technology
- DAAD
- EPFL
- Hannover Medical School •
- Institute of Bioorganic Chemistry Polish Academy of Sciences
- KU Leuven
- Linköping University
- Ludwig-Maximilians-Universität München •
- NTNU - Norwegian University of Science and Technology
- NTNU Norwegian University of Science and Technology
- National Research Council Canada
- Nature Careers
- R@ISE Project (University of Limerick)
- Technical University of Denmark
- Technical University of Munich
- Texas A&M University
- University of Michigan
- University of Twente
- Université Grenoble Alpes
- 27 more »
- « less
-
Field
-
background and interest in static and/or dynamic program analysis, programming language techniques, formal verification, or software engineering, excellent communication skills with sufficient proficiency in
-
Research theme: Formal Methods How many positions: 1 This 3.5 year PhD is funded by the Department of Computer Science at The University of Manchester. The successful candidate will receive
-
Mathematics, Technomathematics, Computer Science, Engineering Informatics, Theoretical Computer Science, Physics Description Description The research group Cyber-Physical Systems of Prof. Matthias Althoff
-
organisation The faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) uses mathematics, electronics and computer technology to contribute to the development of Information and
-
of €25,000 per year for up to four years. The candidate will be supervised by Dr. Nessa Lynch, Matheson Lecturer in Law, Innovation and Technology with co-supervision from the Department of Business