Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Texas at Austin
- ;
- Aarhus University
- Durham University
- Technical University of Munich
- CEA
- Cal Poly Pomona
- Harvard University
- INESC ID
- Mälardalen University
- Nature Careers
- SciLifeLab
- Texas A&M University
- The University of Arizona
- University of Agriculture in Krakow
- University of Glasgow
- University of Liverpool
- University of Zurich Blockchain Center
- 8 more »
- « less
-
Field
-
automatic formal verification of cyber-physical systems. The Technical University of Munich is one of the top research universities in Europe fostering a strong entrepreneurial spirit and international
-
disclose the pay of other employees or applicants to individuals who do not otherwise have access to compensation information, unless the disclosure is (a) in response to a formal complaint or charge, (b) in
-
(a) in response to a formal complaint or charge, (b) in furtherance of an investigation, proceeding, hearing, or action, including an investigation conducted by the employer, or (c) consistent with
-
related to computer-aided formal verification. The position is funded through the EPSRC-Project Games for Good grant, with Patrick Totzke, Sven Schewe and Qiyi Tang. Collaborations with other local and
-
related to computer-aided formal verification. The position is funded through the EPSRC-Project Games for Good grant, with Patrick Totzke, Sven Schewe and Qiyi Tang. Collaborations with other local and
-
algorithms, their theoretical analysis and verification. This is a year-to-year appointment, contingent upon funding and performance. Outstanding UA benefits include health, dental, vision, and life insurance
-
the foundations for reliable decision support and Monitoring, Reporting, and Verification (MRV) systems for reducing greenhouse gas emissions in Danish agriculture, particularly exploring conditions for the uptake
-
the foundations for reliable decision support and Monitoring, Reporting, and Verification (MRV) systems for reducing greenhouse gas emissions in Danish agriculture, particularly exploring conditions for the uptake
-
with a human-centric, sustainability-driven approach. The Postdoctoral researcher will work on using AI-powered methods, testing, and simulation technologies for the verification and validation
-
. You have significant experience in architecture and/or in the use of formal methods. You also have a first experience in the design and verification/validation of real-time applications on multicore