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
- Washington State University
- University of Arkansas
- Colorado State University
- Kennesaw State University
- Stony Brook University
- Texas A&M University System
- Instituto Politécnico de Bragança
- National Renewable Energy Laboratory NREL
- Technical University of Munich
- University of Kansas
- Binghamton University
- University of Texas at Austin
- Carnegie Mellon University
- Institut de Físiques d'Altes Energies (IFAE)
- Princeton University
- SUNY University at Buffalo
- Texas A&M AgriLife Extension
- Télécom Paris
- Universidade Católica Portuguesa - Porto
- University of Luxembourg
- Aarhus University
- 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 Cincinnati
- University of Lodz
- Aalborg Universitet
- Aalborg University
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Centro de Estudos Filosóficos e Humanísticos (CEFH) | Universidade Católica Portuguesa
- Embry-Riddle Aeronautical University
- Emory University
- Empa
- Harvard University
- Helmholtz-Zentrum Dresden-Rossendorf - HZDR - Helmholtz Association
- INESC ID
- Inria, the French national research institute for the digital sciences
- 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
- 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
- 77 more »
- « less
-
Field
- Computer Science
- Medical Sciences
- Biology
- Engineering
- Economics
- Psychology
- Chemistry
- Science
- Mathematics
- Electrical Engineering
- Environment
- Materials Science
- Business
- Philosophy
- Earth Sciences
- 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 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
-
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
-
10.08.2021, Wissenschaftliches Personal Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification
-
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