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
- University of Florida
- George Washington University
- Massachusetts Institute of Technology
- Washington State University
- Kennesaw State University
- Stony Brook University
- Colorado State University
- University of Arkansas
- Instituto Politécnico de Bragança
- National Renewable Energy Laboratory NREL
- Technical University of Munich
- University of Kansas
- Binghamton University
- Princeton University
- University of Texas at Austin
- Carnegie Mellon University
- Institut de Físiques d'Altes Energies (IFAE)
- SUNY University at Buffalo
- Texas A&M AgriLife Extension
- Texas A&M University System
- 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
- Helmholtz-Zentrum Dresden-Rossendorf - HZDR - Helmholtz Association
- 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
- 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
- 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
- 72 more »
- « less
-
Field
- Computer Science
- Medical Sciences
- Biology
- Engineering
- Economics
- Chemistry
- Psychology
- Science
- Mathematics
- Electrical Engineering
- Materials Science
- Environment
- Business
- Earth Sciences
- Philosophy
- Humanities
- Physics
- Arts and Literature
- Education
- 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 4 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