Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Fondazione Bruno Kessler
- Graz University of Technology
- Hanken School of Economics
- Tilburg University
- Aalborg University
- Aarhus University
- CNRS
- Eindhoven University of Technology (TU/e)
- Hannover Medical School •
- Instituto Politécnico de Bragança
- Instituto de Telecomunicações
- NTNU - Norwegian University of Science and Technology
- REQUIMTE - Rede de Quimica e Tecnologia
- University of Bergen
- 5 more »
- « less
-
Field
-
degree (Bachelor’s) in Biomedical Sciences, Biology, Biochemistry, Biotechnology or a related field in the life or health sciences. Official university Master’s degree providing access to a PhD programme
-
Job related to staff position within a Research Infrastructure? No Offer Description Techniques based on formal methods for the verification and validation of embedded and safety-critical systems
-
Regional Programme (Norte 2030) of Portugal 2030”, under the following conditions: 1. Scientific Area: Engineering 2. Admission Requirements: i) Student enrolled in a Doctoral Program in Intelligent Systems
-
enrolment in, the doctoral programme leading to the degree specified in this notice. The appointment is conditional on documentary verification of these conditions and fulfilment of the host institution's
-
prepare ethics, data-management and open-science materials. Complete a doctoral thesis and related research outputs under the host doctoral programme and EMANAIRE plan. Take part in local and network-wide
-
-agent systems formal verification modal logic computational logic temporal logic dynamic epistemic logic knowledge representation and reasoning automata theory computational complexity proof theory formal
-
formally embedded in the Department of Intelligent Systems (DIS) and will collaborate closely with the Department of Computational Cognitive Science (DCS). The project The SHIELD project is a collaboration
-
the vibrant research environment of the newly established Center for Safe AI. PhD candidate will be formally employed with the Data and AI cluster at the Department of Mathematics and Computer Science and
-
-based design to manage architectural complexity, automated generation of safety artifacts (such as Fault Trees and FMEA), and formal verification of FDIR strategies. Furthermore, the research will explore
-
Maritime AI Centre activities. Take courses in relevant technical topics, comprising a minimum of 30 ECTS. Required selection criteria You must have a relevant Master's degree in computer science, artificial