Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Nature Careers
- Technical University of Denmark
- Aarhus University
- University of Houston Central Campus
- Argonne
- NEW YORK UNIVERSITY ABU DHABI
- University of Oslo
- ;
- AbbVie
- Duke University
- Stanford University
- Technical University of Munich
- University of Oxford
- University of Tübingen
- Durham University
- Florida International University
- New York University
- Northeastern University
- University of Florida
- University of Groningen
- University of Massachusetts
- University of Southern California
- University of Texas at Dallas
- Virginia Tech
- AALTO UNIVERSITY
- Cornell University
- European Space Agency
- Heriot Watt University
- Leibniz
- MASARYK UNIVERSITY
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Mälardalen University
- New York University in Abu Dhabi
- New York University of Abu Dhabi
- Princeton University
- THE UNIVERSITY OF HONG KONG
- The Ohio State University
- UNIVERSITY OF VIENNA
- University of British Columbia
- University of Cambridge
- University of Copenhagen
- University of Kansas
- University of Kentucky
- University of Minnesota
- University of Nebraska Medical Center
- University of Nevada Las Vegas
- University of Oregon
- University of Texas at Austin
- University of Texas at El Paso
- University of Virginia
- 40 more »
- « less
-
Field
-
10.08.2021, Wissenschaftliches Personal Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification
-
concepts and working methods. It interacts externally almost exclusively with academia and operates as a truly interdisciplinary team bound to high scientific standards. Through its research, the team acts
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions