Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- UNINOVA - Instituto de Desenvolvimento de Novas Tecnologias
- BI Norwegian Business School
- The University of Manchester
- University of A Coruña
- 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
- Instituto de Telecomunicações
- RPTU University of Kaiserslautern-Landau •
- UPF
- University of Bergen
- 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
- 12 more »
- « less
-
Field
-
Computer Science, Mathematics, or related areas. • Strong background in at least one of the following: formal methods, SMT solving, abstract interpretation, or model checking. • Experience with verification tools
-
, 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
-
will also design and develop new software and prototype models. Research areas: Computer science, Simulation-based automated synthesis and verification of human physiology models, Artificial intelligence
-
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
-
Engineering, a 4-years PhD position is available at the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence with the topic of formal verification of distributed systems
-
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
-
international and national organizations, and the industry. The specialization is a unique blend of modern data science and research in business decisions and analytics. The four-year program offers rigorous
-
national organizations, and the industry. The specialization is a unique blend of modern data science and research in business decisions and analytics. The four-year program offers rigorous training
-
27 Nov 2025 Job Information Organisation/Company Fundació Hospital Universitari Vall d'Hebron- Institut de recerca Department Research Department Research Field Biological sciences » Biology
-
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