Publisher
source

Fondazione Bruno Kessler

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 available

Deadline

Aug 27, 2026

Country flag

Country

Italy

University

Fondazione Bruno Kessler

Social connections

How do I apply for this?

Sign in for free to reveal details, requirements, and source links.

More information can be found here

Keywords

Computer Science
Electrical Engineering
Automation
Formal Methods
Model Checking
Scalability
Model Validation
Verification And Validation
Embedded System
Industrial Application

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

Start chatting
Can you summarize this position?
What qualifications are required for this position?
How should I prepare my application?