2 software-formal-method-phd PhD positions in Italy

Sort by: relevance | listed |

Enter an email to receive alerts for software-formal-method-phd positions

PhD Candidate - Symbolic Model Checking techniques for embedded systems

Fondazione Bruno Kessler | Italy | 2 months ago

of the software and its configurations. This project will investigate novel techniques for the application of formal methods to the design, verification, and validation of embedded systems, with particular emphasis
Doctoral Candidate / PhD Position in the SPACE-MEL MSCA Doctoral Network

Università degli Studi di Firenze | Italy | 2 months ago

Researcher (R1) Positions PhD Positions Application Deadline 31 Aug 2026 - 13:00 (Europe/Rome) Country Italy Type of Contract Temporary Job Status Full-time Is the job funded through the EU Research Framework

Enter an email to receive alerts for software-formal-method-phd positions