Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Tallinn University of Technology
- BI Norwegian Business School
- Forschungszentrum Jülich
- Karolinska Institutet, doctoral positions
- National University of Science and Technology POLITEHNICA Bucharest
- UNINOVA - Instituto de Desenvolvimento de Novas Tecnologias
- CNRS
- Delft University of Technology (TU Delft)
- Fraunhofer-Gesellschaft
- Instituto Politécnico de Bragança
- National Research Council Canada
- Nature Careers
- ODTÜ-GÜNAM
- RPTU University of Kaiserslautern-Landau •
- University of A Coruña
- University of Groningen
- University of Warwick
- Aalborg University
- Binghamton University
- Colorado State University
- Conservatorio di Musica "Santa Cecilia"
- Cranfield University
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); today published
- Delft University of Technology (TU Delft); yesterday published
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Hannover Medical School •
- Inria, the French national research institute for the digital sciences
- Institute of Bioorganic Chemistry Polish Academy of Sciences
- Instituto Politécnico de Coimbra
- Instituto Superior de Economia e Gestão
- Instituto de Engenharia Mecânica
- Instituto de Telecomunicações
- Massachusetts Institute of Technology (MIT)
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- National Renewable Energy Laboratory NREL
- Politecnico di Torino
- Queensland University of Technology
- Texas A&M AgriLife
- The University of Manchester
- UPF
- University of Amsterdam (UvA)
- University of Beira Interior
- University of Cambridge
- University of Cambridge;
- University of Groningen; 26 Sep ’25 published
- University of Groningen; Published yesterday
- University of Porto
- University of Primorska
- University of Southern Denmark
- University of Surrey
- Warsaw University of Technology - Centre for Credible AI
- 42 more »
- « less
-
Field
-
At the Technical Faculty of IT and Design, Departmentof Computer Science, one PhD stipend/Integrated PhD stipend intheories for programming semantics, methods for verification and reliability
-
? No Offer Description We have two exciting PhD positions at the intersection of formal software verification and Large Language Model (LLM) safety, focusing on extending state-of-the-art logic-based
-
Formal verification aims at providing strong guarantees about the behaviour of programs and systems. It relies on logic to precisely describe the system in question and check desired properties
-
Job related to staff position within a Research Infrastructure? No Offer Description Formal verification aims at providing strong guarantees about the behaviour of programs and systems. It relies
-
Organisation Job description Formal verification aims at providing strong guarantees about the behaviour of programs and systems. It relies on logic to precisely describe the system in question and
-
models, real-time telemetry, and AI-enhanced analytics, the research aims to enable continuous simulation and verification across the entire ECU lifecycle—from early model-in-the-loop design to deployment
-
decision processes. Use the CARLA simulation platform to generate DCD-style data in high-risk or ambiguous driving scenarios. Build a proof-of-concept verification pipeline that maps DCD outputs
-
Shortlisting Assessment phase (Interview, Competency Evaluation) Document verification Appointment Additional comments If you would like to work in cutting-edge PV research, access advanced labs, and be part of
-
of Groningen working on the rich topic of contract-based modular system verification and design. National and international collaboration, including attendance of conferences, will be facilitated and stimulated
-
Inria, the French national research institute for the digital sciences | Toulouse, Midi Pyrenees | France | 9 days ago
-physical interactions between aerodynamics, propulsion, structures and materials. The systematic verification and validation of these models allows to integrate CFD in the certification process, reducing our