Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- REQUIMTE - Rede de Quimica e Tecnologia
- ; The University of Edinburgh
- DAAD
- ; University of Bristol
- Chalmers University of Technology
- Hannover Medical School •
- Inria, the French national research institute for the digital sciences
- Ludwig-Maximilians-Universität München •
- RPTU University of Kaiserslautern-Landau •
- Technical University of Denmark
-
Field
-
the interface between formal verification and automated planning. This is a unique opportunity to contribute to safer, more intelligent systems through a combination of theoretical work and practical
-
The research group Cyber-Physical Systems of Prof. Matthias Althoff at the Technical University of Munich offers a PhD position in the area of automatic formal verification of cyber-physical systems
-
at the Technical University of Munich offers a PhD position in the area of automatic formal verification of cyber-physical systems. The Technical University of Munich is one of the top research universities in
-
Inria, the French national research institute for the digital sciences | Saint Martin, Midi Pyrenees | France | 6 days ago
complex codebase (millions of lines of code, mostly in C) which makes formal verification of its components a significant challenge. Device drivers, in particular, are often developed by third parties
-
approach is a method that is both formally rigorous and practically efficient for the verification/validation of quantum devices. Candidate’s profile Knowledge of quantum computing and an understanding
-
the provisions of Decree-Law no. 341/2007 of October 12th, and all formalities established therein must be complied with at the signature of work contract. 7.The tender admission general requirements are those
-
comply with the provisions of Decree-Law No. 66/2018 of August 16, and any formalities established therein must be fulfilled by the date of signing the employment contract. 7. The general requirements
-
-Law no. 341/2007 of October 12th, and all formalities established therein must be complied with at the signature of work contract. 7.The tender admission general requirements are those defined in
-
approach is a method that is both formally rigorous and practically efficient for the verification/validation of quantum devices. Candidate’s profile Knowledge of quantum computing and an understanding
-
, lack of transparency, safety assurance, and sustainability. You will work at the forefront of AI research, exploring formal and dynamic verification methods, explainable AI, and data space integration