Sort by
Refine Your Search
-
Country
-
Employer
- DAAD
- Technical University of Denmark
- ; The University of Edinburgh
- ; The University of Manchester
- ; University of Bristol
- Chalmers University of Technology
- Fraunhofer-Gesellschaft
- Hannover Medical School •
- Ludwig-Maximilians-Universität München •
- RPTU University of Kaiserslautern-Landau •
- University of Twente
- 1 more »
- « less
-
Field
-
. 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
-
, 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 20 hours ago
(RPTU Landau) (single payment for verification of foreign certificates) Recommended: German Language & Orientation Course for International Students: 800 EUR Costs of living Monthly cost of living: approx
Searches related to formal verification
Enter an email to receive alerts for formal-verification positions