Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Fondazione Bruno Kessler
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- 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
- University of East Anglia
- University of East Anglia;
- 7 more »
- « less
-
Field
-
Website https://phd.fbk.eu/calls/detail/formal-verification-of-configurable-safety-crit… Requirements Research FieldOtherEducation LevelMaster Degree or equivalent Additional Information Work Location(s
-
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
-
, technical task, presentation, or written exercise, on-site or remotely. Checks: Education, references, and other job-related verifications may be carried out. Job offer: The selected candidate receives a
-
portal or, if necessary, by email notification. 12. Application period: The competition is open from 08/09/2026 to 21/09/2026. 13. Method of submitting applications: Applications can be formalized through
-
to teaching, supervision and administrative tasks at the Department. The PhD project is situated within the research area of logics for multi-agent systems, and their applications to formal verification
-
Doctoral Researcher at Hanken, applicants must fulfill the formal admission requirements for PhD studies [EN1] . A Master’s degree is required. Please ensure that all required attachments are submitted, as
-
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
-
-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
-
or rigorous reasoning; prior knowledge of formal methods, logics, or verification is beneficial but not required — genuine curiosity and willingness to develop these skills is essential. Good programming skills
-
Primary Supervisor: Dr. Christopher Birkbeck This PhD project, based at our Norwich campus, offers a unique opportunity to work at the confluence of number theory, representation theory, and formal