Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Field
-
for reactive synthesis. This allows us to describe dynamic behaviors in complex environments over time. You will work with formal tools such as: Planning domains and temporal logic — to describe the required
-
personalized. The candidate will investigate textiles, computational design, and functional validation of hand-worn assistive devices, aiming to create textile exoskeletons that can conform to complex hand