3 embedded-system-"https:"-"https:"-"https:"-"https:"-"IFM"-"IFM"-"IFM" PhD positions at Fondazione Bruno Kessler in Italy

PhD Candidate - Symbolic Model Checking techniques for embedded systems

Fondazione Bruno Kessler | Italy | about 4 hours ago

within a Research Infrastructure? No Offer Description Techniques based on formal methods for the verification and validation of embedded and safety-critical systems are becoming increasingly important

PhD Candidate - Artificial Intelligence for Tiny, Connected Devices: Enabling Learning and Inference on Resource-Limited Networked Embedded Systems

Fondazione Bruno Kessler | Italy | about 4 hours ago

at the intersection of Artificial Intelligence, Embedded Systems, Distributed Computing, and Low-power Hardware and protocols will be tailored to the candidate’s profile and interests, contributing to the development

PhD Candidate - Failure Propagation Analysis for Safety Assessment of Complex Systems

Fondazione Bruno Kessler | Italy | about 4 hours ago

safety assessment of complex systems. Where to apply Website https://phd.fbk.eu/calls/detail/failure-propagation-analysis-for-safety-assessm… Requirements Research FieldOtherEducation LevelMaster Degree