Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Oak Ridge National Laboratory
- Texas A&M University
- University of Washington
- Texas A&M AgriLife
- George Washington University
- Washington University in St. Louis
- University of Florida
- Washington State University
- Lehigh University
- Bowdoin College
- University of New South Wales
- Technical University of Munich
- Texas A&m Engineering
- Brookhaven National Laboratory
- Central State University
- Kennesaw State University
- Luleå tekniska universitet
- Pennsylvania State University
- Brown University
- Chalmers University of Technology
- EPFL
- European Space Agency
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Institute of Bioorganic Chemistry Polish Academy of Sciences
- Instituto Politécnico de Bragança
- Massachusetts Institute of Technology
- SUNY University at Buffalo
- Texas A&M AgriLife Extension
- University of Antwerp
- University of Arkansas
- University of Kansas
- University of Luxembourg
- University of North Carolina at Chapel Hill
- University of Oxford
- Utrecht University
- Wroclaw University of Science and Technology
- AGH University of Krakow
- Argonne
- Boise State University
- CNRS
- California State University, Northridge
- INCLIVA Biomedical Research Institute
- Indiana University
- Johns Hopkins University
- KTH Royal Institute of Technology
- King's College London
- Lodz University of Technology
- Lulea University of Technology
- Lunenfeld-Tanenbaum Research Institute
- Luxembourg Institute of Science and Technology
- National Aeronautics and Space Administration (NASA)
- Poznan University of Technology
- Purdue University
- Saarland University
- Sandia National Laboratories
- Stanford University
- Swarthmore College
- TTI
- Texas A&M University System
- The University of Iowa
- The University of Queensland
- U.S. Department of Energy (DOE)
- UNIVERSITY OF VIENNA
- University of California Irvine
- University of Connecticut
- University of Liverpool
- University of Maryland
- University of Vienna
- Universität Wien
- Wageningen University & Research
- Warsaw University of Technology
- 61 more »
- « less
-
Field
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Post-doc on formal verification and algorithm discovery for numerical analysis About us and our
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Postdoc - in vivo optoelectronics application and verification Mission The LSBI is a
-
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 culture. Expected Starting
-
-Employment Checks As part of our recruitment process candidates may be required to undergo pre-employment screening, which may include reference checks, qualification verification, right-to-work verification
-
at the discretion of the committee and/or hiring authority. All candidates for employment are subject to a pre-employment screening which includes a review of criminal records, reference checks, and verification
-
community This position works with minors Successful completion of standard background checks including but not limited to: social security verification, education verification, national criminal background
-
solving problems under uncertainty, from either an AI, robotics, or verification perspective, and an ability to manage own academic research and associated activities. Informal enquiries may be addressed
-
maintenance of the ESA Space Debris Mitigation Policy and Requirements independent supervision of the verification of compliance of ESA projects with the Space Debris Mitigation Requirements processing
-
to undergo pre-employment screening, which may include reference checks, qualification verification, right-to-work verification, and criminal history screening where relevant to the role. Compliance with
-
07.07.2026, Academic staff Join us to push the state of the art in formal verification and reachability analysis for discrete-space systems. Your research will focus on the applications of logical