Sort by
Refine Your Search
-
that supports the design and certification of next-generation autonomous missions. Where to apply Website https://phd.fbk.eu/calls/detail/formal-methods-for-automated-reasoning-and-reli… Requirements
-
application of formal methods remains a challenge in practice, due to factors such as poor scalability, lack of automation, the interplay between computation and physical aspects, or the increasing complexity
-
]; perform automated fault injection into a behavioral design model to generate the corresponding safety model [FAOC21, TACAS16]; generate Minimal Cut Sets from a fully behavioral dynamical model and a TLE
-
) project MicroMan4Health (website: https://www.microman4health.eu/ ), Data-Centric Micromanufacturing Platform Towards Added Value in the Health Sector. The shift from process-centric to data-centric
-
of spoken and written English ADDITIONAL SKILLS Experience on advanced electron microscopy, including techniques such advanced electron diffraction, mono-EELS, automated / programmable EM data acquisition