Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- George Washington University
- University of Washington
- Technical University of Munich
- University of North Carolina at Chapel Hill
- Washington University in St. Louis
- Nature Careers
- Texas A&M University
- Iowa State University
- Johns Hopkins University
- National Renewable Energy Laboratory NREL
- Technical University of Denmark
- Colorado State University
- European Space Agency
- Ludwig-Maximilians-Universität München •
- Massachusetts Institute of Technology (MIT)
- Mälardalen University
- University of California, San Francisco
- University of Cincinnati
- University of Texas at Austin
- Vanderbilt University
- Washington State University
- 11 more »
- « less
-
Field
-
reliable, safe, and secure software systems, carrying out both upstream activities such as requirements quality assurance and architecture analysis, as well as downstream verification & validation activities
-
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