Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- REQUIMTE - Rede de Quimica e Tecnologia
- ; The University of Edinburgh
- ; University of Bristol
- BI Norwegian Business School
- Chalmers University of Technology
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- 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
- The University of Edinburgh
- 3 more »
- « less
-
Field
-
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
-
control, human-robot collaboration, and smart grids. For this reason, their design and deployment should be accompanied by a formal check of correct behaviour. The Research Training Group on Continuous
-
verification and formal verification. runtime analysis and reconfiguration of in-vehicle TSN networks. Co-supervise students. Optionally contribute to teaching. Required qualifications: Hardware design in a
-
, veterinary medicine, pharmacy, natural science, or in another subject area with a biomedical or health-relevant focus The degree must entitle the applicant to pursue PhD studies in Germany. (Verification
-
RPTU University of Kaiserslautern-Landau • | Kaiserslautern, Rheinland Pfalz | Germany | about 11 hours ago
(RPTU Landau) (single payment for verification of foreign certificates) Recommended: German Language & Orientation Course for International Students: 800 EUR Costs of living Monthly cost of living: approx