Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- AALTO UNIVERSITY
- Nature Careers
- The Ohio State University
- Carnegie Mellon University
- DAAD
- National Renewable Energy Laboratory NREL
- University of California Irvine
- University of Oxford
- University of Utah
- Virginia Tech
- ;
- Brno University of Technology, Central European Institute of Technology
- CSIRO
- Cornell University
- Drexel University
- Fundación IMDEA Nanociencia
- Georgetown University
- Heraeus Covantics
- Michigan State University
- New York University
- Pennsylvania State University
- Purdue University
- Technical University of Denmark
- The University of Queensland
- University of Alabama, Tuscaloosa
- University of Cambridge
- University of Houston
- University of Houston Central Campus
- University of Idaho
- University of Limerick
- University of Minnesota
- University of Newcastle
- University of Oregon
- University of Pittsburgh
- University of Porto
- University of Southern California (USC)
- University of Tübingen
- Wageningen University & Research
- Wageningen University and Research Center
- 29 more »
- « less
-
Field
-
and robustness of defenses and mitigations for AI systems, reverse engineering AI systems and models, and identifying new areas where security research is needed. We participate in communities
Searches related to model checking
Enter an email to receive alerts for model-checking positions