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
-
, but also its safety, dependability, and resilience with respect to run-time faults. To this aim, complex systems implement mechanisms to timely detect components’ faults and to isolate them, before
-
safety of autonomous space systems. As satellite platforms transition toward higher levels of autonomy, there is a critical need for rigorous analysis techniques that can handle complex system behaviors
-
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
-
microfluidic pretreatment stage with a SiC-based sensing core eliminates sample degradation during transport, enabling sub-minute analytical cycles essential for precision farming and safety monitoring
-
allowance (if applicable): € 660,00 per person month These are gross amounts paid by the REA including compulsory deductions under national law (such as employer and employee social security contributions and
-
with colleagues and supervisors, strong teamwork spirit, creativity, problem solving and attention to safety. Specific Requirements Not having resided in Italy for more than 12 months in the 3 years