Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Washington
- Texas A&M University
- Oak Ridge National Laboratory
- Texas A&M AgriLife
- Washington University in St. Louis
- George Washington University
- University of Florida
- Massachusetts Institute of Technology
- MASARYK UNIVERSITY
- Washington State University
- National Renewable Energy Laboratory NREL
- Texas A&M University System
- Stony Brook University
- Kennesaw State University
- Texas A&M AgriLife Extension
- University of Arkansas
- University of Kansas
- Binghamton University
- Instituto Politécnico de Bragança
- Technical University of Munich
- Colorado State University
- Princeton University
- Universidade Católica Portuguesa - Porto
- University of Texas at Austin
- Carnegie Mellon University
- Institut de Físiques d'Altes Energies (IFAE)
- SUNY University at Buffalo
- Télécom Paris
- University of Luxembourg
- Aalborg Universitet
- Aalborg University
- Aarhus University
- Chalmers tekniska högskola
- Cornell University
- Fayetteville State University
- Inria, the French national research institute for the digital sciences
- Lehigh University
- National Aeronautics and Space Administration (NASA)
- Texas A&m Engineering
- U.S. Department of Energy (DOE)
- University of Lodz
- University of North Carolina at Chapel Hill
- Yale University
- AI4I
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Boise State University
- Brown University
- Centro de Estudos Filosóficos e Humanísticos (CEFH) | Universidade Católica Portuguesa
- Chalmers University of Technology
- Embry-Riddle Aeronautical University
- Emory University
- Empa
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Helmholtz-Zentrum Dresden-Rossendorf - HZDR - Helmholtz Association
- Institute of Bioorganic Chemistry Polish Academy of Sciences
- La Rochelle Université
- Lawrence Berkeley National Laboratory
- Leibniz
- Lodz University of Technology
- MUNSTER TECHNOLOGICAL UNIVERSITY
- Massachusetts Institute of Technology (MIT)
- Nantes Université
- Nature Careers
- Pennsylvania State University
- Poznan University of Technology
- San Diego State University
- Space Research Centre Polish Academy of Sciences
- TTI
- Technische Universität München
- The John Paul II Catholic University of Lublin
- The University of Iowa
- Universidade Católica Portuguesa - CATÓLICA-LISBON
- Universidade Católica Portuguesa - RIO
- University of Agriculture in Krakow
- University of California
- University of Cincinnati
- University of London
- University of Maryland
- University of New South Wales
- University of Oxford
- University of San Diego
- University of Sydney
- Vanderbilt University
- Virginia Tech
- Warsaw University of Technology - Centre for Credible AI
- Wrocław University of Science and Technology
- 76 more »
- « less
-
Field
-
the next generation of secure agentic AI systems through cutting-edge research in adversarial machine learning and formal verification. The Role As a research scientist, you will contribute to frontier AI
-
Faculty of IT and Design, Department of Computer Science, a 2-year Postdoc position in theories for programming semantics, methods for verification and reliability assurance of combined classical and
-
At the Technical Faculty of IT and Design, Department of Computer Science, a 2-year Postdoc position in theories for programming semantics, methods for verification and reliability assurance
-
on formal verification and reachability analysis using logical zonotopes, with applications in digital circuit verification and model checking. Candidates should have a strong mathematical background and
-
. Responsabilities: Investigate existing verification and validation (V&V) techniques for space systems, software and algorithms with a focus on specific challenges of space-borne perception and proximity operations
-
for activities in the Zero-G Lab and contributing to the Black-Hole Lab at Redwire Space Luxembourg for Hardware in the loop emulation of on-orbit scenarios. Responsabilities: Investigate existing verification and
-
fellow will conduct research on Algorithmic Verification of Concurrent Systems within the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus of the position
-
National Aeronautics and Space Administration (NASA) | Pasadena, California | United States | 19 minutes ago
emphasize verification: the process of ensuring that a system meets its requirements. This is a key part of ensuring quality and managing risk in the system development process, and is a major driver for the
-
Fonden we have several postdoc and PhD openings in the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University. The research topics at the Center
-
automatic formal verification of cyber-physical systems. The Technical University of Munich is one of the top research universities in Europe fostering a strong entrepreneurial spirit and international