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
-
Inria, the French national research institute for the digital sciences | Saint Martin, Midi Pyrenees | France | 4 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
-
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
-
programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Reference: REQUIMTE 2025-50 Main research field: Chemistry, Chemical Engineering, Physics, Physics
-
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
-
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
-
Technology, Mechatronics, Robotics, Systems Engineering, Applied Mathematics, Technomathematics, Computer Science, Engineering Informatics, Theoretical Computer Science, Physics Description Description
-
Mathematics, Technomathematics, Computer Science, Engineering Informatics, Theoretical Computer Science, Physics Description Description The research group Cyber-Physical Systems of Prof. Matthias Althoff
-
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