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
- University of Florida
- George Washington University
- Massachusetts Institute of Technology
- Washington State University
- Texas A&M University System
- University of Arkansas
- Colorado State University
- Kennesaw State University
- Stony Brook University
- National Renewable Energy Laboratory NREL
- Texas A&M AgriLife Extension
- University of Kansas
- Binghamton University
- University of Texas at Austin
- Carnegie Mellon University
- Institut de Físiques d'Altes Energies (IFAE)
- Instituto Politécnico de Bragança
- Princeton University
- SUNY University at Buffalo
- Télécom Paris
- Universidade Católica Portuguesa - Porto
- University of Cincinnati
- University of Luxembourg
- Chalmers University of Technology
- Chalmers tekniska högskola
- Cornell University
- European Space Agency
- Fayetteville State University
- Lehigh University
- National Aeronautics and Space Administration (NASA)
- Texas A&m Engineering
- U.S. Department of Energy (DOE)
- University of Lodz
- Aalborg Universitet
- Aalborg University
- Aarhus University
- Centro de Estudos Filosóficos e Humanísticos (CEFH) | Universidade Católica Portuguesa
- Embry-Riddle Aeronautical University
- Emory University
- Empa
- Helmholtz-Zentrum Dresden-Rossendorf - HZDR - Helmholtz Association
- INESC ID
- Institute of Bioorganic Chemistry Polish Academy of Sciences
- Institute of Dendrology, Polish Academy of Sciences
- Institute of Medical Biology Polish Academy of Sciences
- Lawrence Berkeley National Laboratory
- Leibniz
- Lodz University of Technology
- Luleå University of Technology
- MUNSTER TECHNOLOGICAL UNIVERSITY
- Maastricht University (UM)
- Maastricht University (UM); Maastricht
- 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 Denmark
- Technical University of Munich
- Technische Universität München
- The University of Iowa
- UNIOVI
- 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
- mdw - University of Music and Performing Arts Vienna
- 74 more »
- « less
-
Field
- Computer Science
- Medical Sciences
- Biology
- Engineering
- Economics
- Chemistry
- Psychology
- Science
- Mathematics
- Environment
- Electrical Engineering
- Materials Science
- Business
- Earth Sciences
- Philosophy
- Arts and Literature
- Physics
- Education
- Humanities
- Law
- Social Sciences
- Sports and Recreation
- Statistics
- 13 more »
- « less
-
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 7 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
-
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
-
that leverages artificial intelligence and large language models to solve fundamental problems in autonomous driving, robotics, verification and validation, and safety problems related to autonomies. You will
-
. Successful completion of standard background checks including but not limited to: social security verification, education verification, national criminal background checks, motor vehicle checks, PATCH, FBI
-
possible verification of any findings of misconduct (or pending investigations) from prior employers. Application Materials Required: Further Info: https://space.mit.edu/ 77 Massachusetts Avenue, 37-284
-
that leverages artificial intelligence and large language models to solve fundamental problems in autonomous driving, robotics, verification and validation, and safety problems related to autonomies. You will