Offer Description
The research assignment aims to develop methods and tools for specification mining and runtime verification of humancentric cyber-physical systems in Industry 5.0. In particular, the activity will focus on extracting, formalizing, and monitoring temporal properties related to correctness, safety, and reliability from datasets generated by wearable devices and environmental sensors, in the context of digital twins applied to scenarios such as smart manufacturing and logistics.
This is a Preview Listing…
You must sign in to see the full job description, and to apply.
Manage / Upgrade this job to a Full Job Listing.
Find Your Best Opportunity
Tell them AcademicJobs.com sent you!