Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- BI Norwegian Business School
- ; The University of Edinburgh
- ; University of Bristol
- Chalmers University of Technology
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- Fraunhofer-Gesellschaft
- Hannover Medical School •
- Inria, the French national research institute for the digital sciences
- Instituto de Telecomunicações
- Ludwig-Maximilians-Universität München •
- RPTU University of Kaiserslautern-Landau •
- 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
-
Inria, the French national research institute for the digital sciences | Saint Martin, Midi Pyrenees | France | 28 days ago
26 Aug 2025 Job Information Organisation/Company Inria, the French national research institute for the digital sciences Research Field Computer science Researcher Profile First Stage Researcher (R1
-
completed a Master of Science degree with thesis work, a Research Masters/M.Phil degree, or a comparable degree relevant for the specialisation in Accounting by the time the program starts in early autumn
-
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
-
project, you will explore the use of formal methods from computer science (program synthesis and probabilistic programming) and control systems analysis approaches to derive human understandable strategies
-
project, you will explore the use of formal methods from computer science (program synthesis and probabilistic programming) and control systems analysis approaches to derive human understandable strategies
-
Engineering, Physics Engineering, Informatics Engineering or other related scientific area and a suitable scientific and professional curriculum may submit an application. In case the degree has been awarded by
-
, Statistics, and Mathematics. Strong communication and analytical skills are also crucial for successful completion of the program. If applicants are otherwise equally qualified, female applicants will be given
-
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
-
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