Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Washington
- Texas A&M University
- Texas A&M AgriLife
- Oak Ridge National Laboratory
- Washington University in St. Louis
- George Washington University
- Texas A&M University System
- Washington State University
- Massachusetts Institute of Technology
- University of Florida
- Kennesaw State University
- University of Arkansas
- Colorado State University
- National Renewable Energy Laboratory NREL
- Stony Brook University
- Technical University of Munich
- University of Kansas
- University of Texas at Austin
- Fayetteville State University
- SUNY University at Buffalo
- Binghamton University
- Instituto Politécnico de Bragança
- Nature Careers
- Princeton University
- Texas A&M AgriLife Extension
- Télécom Paris
- Universidade Católica Portuguesa - Porto
- University of Cincinnati
- University of Luxembourg
- Aarhus University
- Bowdoin College
- Chalmers University of Technology
- Chalmers tekniska högskola
- Cornell University
- European Space Agency
- Lehigh University
- National Aeronautics and Space Administration (NASA)
- TTI
- Technical University of Denmark
- Texas A&m Engineering
- U.S. Department of Energy (DOE)
- University of Lodz
- ;
- Aalborg Universitet
- Aalborg University
- Cal Poly Pomona
- Centro de Estudos Filosóficos e Humanísticos (CEFH) | Universidade Católica Portuguesa
- Durham University
- Embry-Riddle Aeronautical University
- Empa
- Harvard University
- 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
- Luleå University of Technology
- MUNSTER TECHNOLOGICAL UNIVERSITY
- Maastricht University (UM)
- Maastricht University (UM); Maastricht
- Massachusetts Institute of Technology (MIT)
- Pennsylvania State University
- San Diego State University
- Space Research Centre Polish Academy of Sciences
- 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
- mdw - University of Music and Performing Arts Vienna
- 71 more »
- « less
-
Field
- Computer Science
- Medical Sciences
- Biology
- Engineering
- Economics
- Psychology
- Chemistry
- Science
- Environment
- Electrical Engineering
- Materials Science
- Mathematics
- Business
- Earth Sciences
- Philosophy
- Humanities
- Arts and Literature
- Physics
- 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
-
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
-
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
-
National Aeronautics and Space Administration (NASA) | Pasadena, California | United States | about 7 hours ago
been as much focus on connecting science objectives directly to the developmentof an engineered system. Systems engineering practices emphasize verification: the process of ensuring that a system meets
-
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
-
systems, carrying out both upstream activities such as requirements quality assurance and regulatory compliance, as well as downstream verification & validation activities, such as software testing and
-
to the Lehigh community. • This position works with minors. Successful completion of standard background checks including but not limited to: social security verification, education verification, national