Sort by
Refine Your Search
-
Category
-
Country
-
Employer
- UNINOVA - Instituto de Desenvolvimento de Novas Tecnologias
- BI Norwegian Business School
- University of A Coruña
- University of Groningen
- CNRS
- Delft University of Technology (TU Delft)
- 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
- Instituto de Telecomunicações
- REQUIMTE - Rede de Quimica e Tecnologia
- 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 Surrey
- 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
-
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
-
: Depending on the role, candidates may complete a case study, technical task, presentation, or written exercise, on-site or remotely. Checks: Education, references, and other job-related verifications may be
-
Verification WP6: Dissemination, Communication, Stakeholder Engagement, Exploitation WP7: Project Coordination, Scientific, Technical and Innovation Management Cir4Fun: Contribute for the following tasks
-
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
-
of the project: WP1: Automated AI Pipeline Lifecycle Management Framework WP3: Hybrid Science-AI Models Foundations WP4: System Architecture, Continuous Integration, Testing and Technical Verification WP6
-
Pipeline Lifecycle Management Framework WP3: Hybrid Science-AI Models Foundations WP4: System Architecture, Continuous Integration, Testing and Technical Verification WP6: Dissemination, Communication