3 verification PhD positions in Italy

PhD Candidate -Formal verification of Configurable Safety-Criticial Systems

Fondazione Bruno Kessler | Italy | 25 days ago

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

PhD Candidate - Symbolic Model Checking techniques for embedded systems

Fondazione Bruno Kessler | Italy | about 2 months ago

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

PhD Position: Development of Magnesium-based biodegradable microdevices for drug delivery

Politecnico di Milano | Italy | about 2 months ago

aligned with Digital Product Passport requirements Expected results include: Validated tolerances and certified verification procedures for micro-carrier components A comprehensive ontology describing all