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
-
methodologies, modeling, and technologies to enhance infrastructure resilience against emerging threats, including climate change, cyber risks, and natural disasters.Candidates with backgrounds in engineering
Searches related to model checking
Enter an email to receive alerts for model-checking positions