Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- REQUIMTE - Rede de Quimica e Tecnologia
- BI Norwegian Business School
- University of A Coruña
- University of Groningen
- ; The University of Edinburgh
- CNRS
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); today published
- Fraunhofer-Gesellschaft
- Hannover Medical School •
- Inria, the French national research institute for the digital sciences
- Instituto Politécnico de Bragança
- Instituto de Engenharia Mecânica
- Instituto de Telecomunicações
- RPTU University of Kaiserslautern-Landau •
- The University of Edinburgh
- The University of Manchester
- UPF
- University of Groningen; 26 Sep ’25 published
- University of Porto
- University of Warwick
- Warsaw University of Technology - Centre for Credible AI
- 13 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
-
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
-
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
-
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
-
a strong background in discrete mathematics, algorithms, computational complexity, automata, logic, formal languages, verification, or related topics with undergraduate and/or master’s degrees in
-
this position will be responsible for conducting research in the area of verification, testing and exploration of artificial intelligence models, active participation in lab meetings, scientific seminars and
-
Tasks: Module development and integration into the existing Julia codebase Verification through benchmark test cases Performance testing and debugging Technical documentation of implemented modules Final
-
into account, as well as the value contributed to the centre and the host team. The selection committees, if they deem it appropriate, may call candidates for an interview, as well as carry out the verification
-
Inria, the French national research institute for the digital sciences | Saint Martin, Midi Pyrenees | France | 3 months ago
complex codebase (millions of lines of code, mostly in C) which makes formal verification of its components a significant challenge. Device drivers, in particular, are often developed by third parties
-
machinery. These tasks include the verification of backlash detection and monitoring strategies formulated from the integration of multibody models and sensor data, as well as their subsequent development