Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- Infra Plan consulting
- ; UWE, Bristol
- ; University of Surrey
- CNRS
- Chalmers University of Technology
- DAAD
- Hannover Medical School •
- Karolinska Institutet
- Linköping University
- Ludwig-Maximilians-Universität München •
- NTNU Norwegian University of Science and Technology
- R@ISE Project (University of Limerick)
- RPTU University of Kaiserslautern-Landau •
- Technical University of Denmark
- Technical University of Munich
- Universidad Pontificia Comillas
- University of A Coruña
- University of Twente
- Uppsala universitet
- 9 more »
- « less
-
Field
-
at the Technical University of Munich offers a PhD position in the area of automatic formal verification of cyber-physical systems. The Technical University of Munich is one of the top research universities in
-
, for example, a 4-year bachelor's degree is accepted. Previous coursework in cyber-physical systems, formal verification, computational logic, AI, or statistical methods would be beneficial but not required
-
approach is to apply foundational techniques grounded in logic, semantics, and verification. This work takes place within the CYCLIC project: Cyclic Structures in Programs and Proofs, a collaboration among
-
control, human-robot collaboration, and smart grids. For this reason, their design and deployment should be accompanied by a formal check of correct behaviour. The Research Training Group on Continuous
-
. We are looking for you if you have a background and interest in programming languages and formal methods --- e.g., has taken courses in program analysis, verification, compiler construction and/or
-
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
-
zonotopic Dempster-Shafer approach to the quantitative verification of neural networks. In Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I, page
-
leader in graph data base technology. The supervisory team has a strong publication record in systems, distributed systems and concurrency, programming languages, and formal verification, including
-
, veterinary medicine, pharmacy, natural science, or in another subject area with a biomedical or health-relevant focus The degree must entitle the applicant to pursue PhD studies in Germany. (Verification
-
RPTU University of Kaiserslautern-Landau • | Kaiserslautern, Rheinland Pfalz | Germany | about 21 hours ago
Landau: 75 EUR (single payment for verification of foreign certificates) Recommended: German language & Orientation Course for international students: 750 EUR Costs of living Monthly cost of living: RPTU