Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- REQUIMTE - Rede de Quimica e Tecnologia
- ; The University of Edinburgh
- BI Norwegian Business School
- ; University of Bristol
- CNRS
- 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 •
- The University of Edinburgh
- 3 more »
- « less
-
Field
-
hired depends on the applicable guidelines and regulations of the Foundation for Science and Technology, and verification of compliance with the administrative requirements contained therein. REQUIMTE
-
Application Deadline 12 Sep 2025 - 23:59 (Europe/Lisbon) Type of Contract Temporary Job Status Full-time Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job
-
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 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
-
, 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
-
should have very good skills in the English language and a strong background in at least one of the fields relevant for research at ConVeY: Control theory, formal methods in computer science, or machine
-
, 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 16 hours ago
lectures which are offered by the Physics Department of RPTU within the Master of Science in Advanced Quantum Physics programme: https://physik.rptu.de/quantum-master/ . The detailed programme of