Sort by
Refine Your Search
-
Listed
-
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
- MASARYK UNIVERSITY
- Massachusetts Institute of Technology
- Washington State University
- University of Florida
- Kennesaw State University
- Stony Brook University
- National Renewable Energy Laboratory NREL
- Texas A&M University System
- University of Arkansas
- University of Kansas
- Binghamton University
- Colorado State University
- Princeton University
- Texas A&M AgriLife Extension
- University of Texas at Austin
- Carnegie Mellon University
- Institut de Físiques d'Altes Energies (IFAE)
- Instituto Politécnico de Bragança
- SUNY University at Buffalo
- Télécom Paris
- Universidade Católica Portuguesa - Porto
- University of Luxembourg
- 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 Cincinnati
- University of Lodz
- AI4I
- Aalborg Universitet
- Aalborg University
- Aarhus 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
- Technical University of Munich
- 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 Maryland
- University of New South Wales
- University of North Carolina at Chapel Hill
- University of Oxford
- University of Sydney
- Vanderbilt University
- Virginia Tech
- Warsaw University of Technology - Centre for Credible AI
- Wrocław University of Science and Technology
- 71 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
-
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 | about 5 hours 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
-
work cooperatively with others. All positions are security-sensitive. Applicants are subject to a criminal history investigation, and employment is contingent upon the institution’s verification
-
verification of credentials and/or other information required by the institution’s procedures, including the completion of the criminal history check. Equal Opportunity/Veterans/Disability Employer.
-
history investigation, and employment is contingent upon the institution’s verification of credentials and/or other information required by the institution’s procedures, including the completion
-
a criminal history investigation, and employment is contingent upon the institution’s verification of credentials and/or other information required by the institution’s procedures, including