Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Delft University of Technology (TU Delft)
- Nature Careers
- DAAD
- Technical University of Munich
- Ludwig-Maximilians-Universität München •
- NTNU - Norwegian University of Science and Technology
- Cranfield University
- Forschungszentrum Jülich
- NTNU Norwegian University of Science and Technology
- CNRS
- Technical University of Denmark
- University of Luxembourg
- Tallinn University of Technology
- University of Bergen
- University of Southern Denmark
- Institute for bioengineering of Catalonia, IBEC
- Leiden University
- Aalborg University
- FCiências.ID
- Utrecht University
- BI Norwegian Business School
- Delft University of Technology (TU Delft); yesterday published
- Fraunhofer-Gesellschaft
- Eindhoven University of Technology (TU/e)
- University of A Coruña
- University of Oslo
- Friedrich Schiller University Jena •
- Ghent University
- Linköping University
- Royal Netherlands Academy of Arts and Sciences (KNAW)
- Delft University of Technology (TU Delft); Published yesterday
- Delft University of Technology (TU Delft); today published
- ETH Zürich
- Karolinska Institutet, doctoral positions
- Leibniz
- Monash University
- National University of Science and Technology POLITEHNICA Bucharest
- The University of Iowa
- Umeå University
- University of Antwerp
- University of Groningen
- University of Potsdam •
- University of Tübingen
- Wageningen University & Research
- Aalborg Universitet
- Curtin University
- Eindhoven University of Technology (TU/e); yesterday published
- Erasmus University Rotterdam
- KU LEUVEN
- Linköpings universitet
- Maastricht University (UM)
- Purdue University
- Swansea University
- UNIVERSITY OF VIENNA
- University of Amsterdam (UvA)
- University of Nottingham
- University of Texas at El Paso
- University of Warwick
- Uppsala universitet
- Academic Europe
- Delft University of Technology (TU Delft); Published today
- Graz University of Technology
- Inria, the French national research institute for the digital sciences
- KINGS COLLEGE LONDON
- King's College London
- Lunds universitet
- Manchester Metropolitan University;
- Newcastle University
- Swedish University of Agricultural Sciences
- Technical University of Cluj-Napoca
- The University of Manchester
- UNINOVA - Instituto de Desenvolvimento de Novas Tecnologias
- UNIVERSIDAD POLITECNICA DE MADRID
- Umeå universitet
- Universidade de Vigo
- University of Cambridge;
- University of Exeter
- University of Sheffield
- University of Twente
- University of Utah
- University of Vienna
- Université Grenoble Alpes
- Vrije Universiteit Amsterdam (VU)
- ;
- Ariel University
- Carnegie Mellon University
- Chalmers University of Technology
- Delft University of Technology (TU Delft); 17 Oct ’25 published
- European Magnetism Association EMA
- FUNDACION DE INVESTIGACION BIOMEDICA HOSPITAL 12 DE OCTUBRE
- Faculdade de Medicina da Universidade do Porto
- Faculty of Science, Charles University
- Fundació per a la Universitat Oberta de Catalunya
- Heidelberg University
- Humboldt-Universität zu Berlin •
- IMDEA Networks Institute
- Imperial College London
- Institut Pasteur
- Institute of Public Health University of Porto
- Institute of Science and Technology Austria (ISTA)
- 90 more »
- « less
-
Field
-
, program verification and software engineering. Beyond technical collaborations, the group meets regularly and provides an engaging and supportive environment. Project description The available PhD positions
-
At the Technical Faculty of IT and Design, Departmentof Computer Science, one PhD stipend intheories for programming semantics, methods for verification and reliability assurance of combined
-
? 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
-
on the development of AI-supported and human-in-the-loop methods for automating and optimizing software instrumentation processes. Drawing on a strong background in software engineering, data analytics, and machine
-
Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Want to rethink the future of software engineering at scale? Join
-
, dynamic simulation, additive/classical fabrication; sensorization, actuation, and integration on gantry/field robots. For PhD#3 (DT): Design software architecture; integrate multi-modal data and models (e.g