Sort by
Refine Your Search
-
the predictions of opaque models that are widely deployed in high-stakes decision making scenarios. Of particular interest to this project are example-based explanation methods that use individual data points
-
Invitation to expressions of interest in PhD and Postdoctoral candidates interested in applications in the field Resilience and Risk of Critical Infrastructure. These roles focus on advancing
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions