Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- George Washington University
- University of North Carolina at Chapel Hill
- University of Washington
- National Renewable Energy Laboratory NREL
- Technical University of Denmark
- Technical University of Munich
- Washington University in St. Louis
- Colorado State University
- European Space Agency
- Massachusetts Institute of Technology (MIT)
- Mälardalen University
- Texas A&M University
- Vanderbilt University
- 3 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
-
Software Defined Vehicles (SDV). The primary objective is to expand, mature, and industrialize a novel European RISC-V automotive ecosystem that enables next-generation high-performance European automotive
Searches related to software verification postdoc
Enter an email to receive alerts for software-verification-postdoc positions