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
- Chalmers University of Technology
- 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
- Norwegian University of Life Sciences (NMBU)
- RPTU University of Kaiserslautern-Landau •
- The University of Edinburgh
- 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
-
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
-
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
-
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
-
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
-
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
-
about tackling both deep research challenges and real-world software problems, this project is for you. Seeking a PhD student who values the strengths of formal reasoning while recognizing its current