Fondazione Bruno Kessler
2 weeks ago
PhD Candidate - Symbolic Model Checking Techniques for Embedded Systems Fondazione Bruno Kessler in Italy
Degree Level
PhD
Field of study
Computer Science
Funding
Full funding availableDeadline
Aug 27, 2026
Country
Italy
University
Fondazione Bruno Kessler

How do I apply for this?
Sign in for free to reveal details, requirements, and source links.
More information can be found here
Keywords
Suggested positions
About this position
Fondazione Bruno Kessler (FBK) is offering a PhD position on Symbolic Model Checking techniques for embedded systems. The project focuses on formal methods for the verification and validation of embedded and safety-critical systems, addressing the practical challenges of scalability, automation, and the interaction between software and physical behaviour.
The research will investigate novel techniques for the design, verification, and validation of embedded systems, with special attention to safety-critical application areas such as railways, automotive, avionics, and aerospace. A key topic is the improvement of symbolic model checking approaches using satisfiability (SAT) and satisfiability modulo theories (SMT) solvers as symbolic reasoning engines.
Beyond theory, the project includes implementing new methods in state-of-the-art verification tools developed at FBK and applying them to real-world problems together with industrial partners. This makes the position attractive for candidates interested in both foundational research and practical verification tooling.
The position is based in Povo/Trento, Italy, and the contract is full-time and temporary. The advertised starting date is 1 November 2026. The application deadline is 27 August 2026 at 23:59 (Europe/Rome).
Eligibility requirements state that applicants should hold a Master Degree or equivalent. The call is clearly research-oriented and suitable for candidates with interests in formal verification, automated reasoning, embedded systems, and safety-critical software engineering.
To apply, candidates should use the official FBK application webpage linked in the posting and complete the online submission before the deadline.
Funding details
Full funding including tuition fees and living expenses is available for this position. The scholarship covers all educational costs and provides a monthly stipend.
How to apply
Please submit your application including a cover letter, CV, academic transcripts, and contact information for two references. Applications should be sent via the online portal before the deadline.
Ask ApplyKite AI

How do I apply for this?
Sign in for free to reveal details, requirements, and source links.