Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- BI Norwegian Business School
- 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
- Constructor Knowledge Labs gGmbH
- 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
- Silesian University of Technology
- University of Bergen
- University of East Anglia
- University of East Anglia;
- 9 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
-
Constructor Technology, invites applications for a PhD position in machine learning for software engineering and formal methods, on the Constructor Fabric project. Constructor Fabric turns a company's informal
-
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
-
verification document. Applicants who do not hold a qualifying master's degree from a Nordic institution and whose qualifying degree was not taught in English must normally document English proficiency through
-
of these courses for the BI PhD programme at BI Norwegian Business School. A complete list of publications and other documented relevant activities, where applicable. Signed verification document. Applicants who do
-
of these courses for the BI PhD programme at BI Norwegian Business School. A complete list of publications and other documented relevant activities, where applicable. Signed verification document. Applicants who do
-
, 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
-
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