The page you are requesting does not exist. You can start your search here!
Sort by
Refine Your Search
-
AI and XR proposals (e.g., representations, verification, interpretability for AEC) and applied AEC projects. If unsure, apply, and refine the scope with your co-hosts. Job description Lead your
-
for a NOMIS–ETH Postdoctoral Fellowship following a rejection in a previous call for applications. Applications not complying with the eligibility criteria will be rejected on formal grounds. We offer
Searches related to formal verification
Enter an email to receive alerts for formal-verification positions