Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- Institute for bioengineering of Catalonia, IBEC
- AALTO UNIVERSITY
- Nature Careers
- The Ohio State University
- FCiências.ID
- CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto
- Carnegie Mellon University
- DAAD
- Virginia Tech
- Cornell University
- Drexel University
- East Carolina University
- Edmund Mach Foundation
- Florida International University
- Free University of Berlin
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Harvard University
- Institute for Basic Science
- KINGS COLLEGE LONDON
- Luxembourg Institute of Science and Technology
- Michigan State University
- National Renewable Energy Laboratory NREL
- New York University
- Purdue University
- Texas A&M AgriLife
- The University of Queensland
- UNIVERSITY OF HELSINKI
- UNIVERSITY OF SYDNEY
- Universidade Lusófona´s Research Center for Digital Human-Environment Interaction Lab
- University of Agder (UiA)
- University of California Irvine
- University of Colorado
- University of Innsbruck, Institute of Computer Science
- University of Kansas
- University of Limoges (France), Nokia & Iscte-IUL (Portugal)
- University of Minho
- University of Oregon
- University of Oxford
- University of Porto
- University of Sydney
- University of Utah
- Vrije Universiteit Amsterdam
- Wayne State University
- Xavier University of Louisiana
- 34 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