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
- Aalborg University
- CNRS
- Eindhoven University of Technology (TU/e)
- Hannover Medical School •
- Instituto Politécnico de Bragança
- Instituto de Telecomunicações
- REQUIMTE - Rede de Quimica e Tecnologia
- Tilburg University
- University of Bergen
- 3 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
-
the formal admission requirements for PhD studies: https://www.hanken.fi/en/apply/application/phd-programme/attachments . A Master’s degree is required. Please ensure that all required attachments
-
-programme/gpa-or-gmatgre ) Statement of Purpose written on Hankens template, see: https://www.hanken.fi/en/apply/application/phd-programme/attachments ), Please submit all application materials in English
-
-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
-
-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
-
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
-
Sciences, Biology, Biochemistry, Biotechnology, Immunology or a related field within the health or life sciences. An official university Master’s degree providing access to a PhD programme and meeting the