Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- George Washington University
- University of North Carolina at Chapel Hill
- National Renewable Energy Laboratory NREL
- Technical University of Denmark
- University of Washington
- Technical University of Munich
- Aarhus University
- Colorado State University
- Empa
- European Space Agency
- INESC ID
- Institute of Dendrology, Polish Academy of Sciences
- Massachusetts Institute of Technology (MIT)
- Nature Careers
- Oak Ridge National Laboratory
- Texas A&M University
- Vanderbilt University
- Washington University in St. Louis
- 8 more »
- « less
-
Field
-
research on interactive verification of safety and security properties of challenging software systems. We offer full-time (37 hours/week) postdoc positions of 1-3 years. The starting date is December 1
-
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
-
responsibility for our unique GPU-accelerated 3D FDTD software suite and extending its capabilities Modelling the effects of atmospheric turbulence fields Software development (3D modelling and coding in Python, C