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
- 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
- Silesian University of Technology
- Tilburg University
- University of Bergen
- 4 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
-
, scientific conferences and other scientific events. Contribute to the preparation of scientific manuscripts and research publications. Where to apply Website https://jobs.vhir.org/jobs/8357465-predoctoral
-
: Statute of the Scientific Research Grant Holder, approved by Law No. 40/2004, of August 18, in its current wording; FCT, I.P. Research Grant Regulations, in force (https://www.fct.pt/wp-content/uploads/2026
-
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
-
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
-
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
-
-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
-
merit-based joint TUAI recruitment process. Stage 1 – Eligibility and qualification screening: applications will be assessed against the formal MSCA-DN eligibility requirements and the scientific and