Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- The University of Manchester
- UNINOVA - Instituto de Desenvolvimento de Novas Tecnologias
- BI Norwegian Business School
- University of A Coruña
- University of Bergen
- University of Groningen
- Delft University of Technology (TU Delft); today published
- Fraunhofer-Gesellschaft
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Hannover Medical School •
- Instituto Politécnico de Bragança
- Instituto de Engenharia Mecânica
- RPTU University of Kaiserslautern-Landau •
- UPF
- University of Groningen; 26 Sep ’25 published
- University of Porto
- University of Surrey
- University of Utah
- University of Warwick
- Uppsala universitet
- Warsaw University of Technology - Centre for Credible AI
- 11 more »
- « less
-
Field
-
? 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
-
, the project will further refine and verify the proposed control framework through formal verification techniques. We are seeking highly motivated candidates with a strong background in control theory and
-
verify the proposed control framework through formal verification techniques. Ideal candidate We are seeking highly motivated candidates with a strong background in control theory and practical experience
-
of the following: static and/or dynamic program analysis, programming language techniques (such as semantics, type systems, runtime systems, etc), formal verification, or software engineering
-
used in other safety-critical sectors. Review international AV regulations and identify gaps in explainability and traceability. Develop a formal DCD model capable of representing AV reasoning and
-
of Artificial intelligence, Machine learning, Numerical simulation, Formal verification. Such methods include, among the others: AI-guided simulation of the mathematical models of the patho-physiology and PK/PD
-
complementary and synergic methods at the intersection of Artificial intelligence, Machine learning, Numerical simulation, Formal verification. Such methods include, among the others: AI-guided simulation