Sort by
Refine Your Search
-
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
-
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
-
aligned with Digital Product Passport requirements Expected results include: Validated tolerances and certified verification procedures for micro-carrier components A comprehensive ontology describing all
-
, and a Continuum+K3 GIF. The group will also further data analysis using and developing software routines for analysis of large datasets. Research projects span beam-sensitive materials with
-
immunostainer, Leica AT2 and Leica CS2 Slide Scanners, for Whole Slide Imaging, Zeiss Axio Imager 2 microscope equipped with Apotome.2 structured illumination and HALO (Indica Labs) software for advanced image