Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Washington
- Texas A&M University
- Oak Ridge National Laboratory
- Texas A&M AgriLife
- George Washington University
- Washington University in St. Louis
- National Renewable Energy Laboratory NREL
- Massachusetts Institute of Technology
- University of Kansas
- Binghamton University
- University of New South Wales
- Washington State University
- Luleå tekniska universitet
- Technical University of Munich
- Universidade Católica Portuguesa - Porto
- Aarhus University
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Institut de Físiques d'Altes Energies (IFAE)
- Lehigh University
- Nature Careers
- University of Arkansas
- Carnegie Mellon University
- Cleveland State University
- Kennesaw State University
- Lulea University of Technology
- TTI
- Texas A&m Engineering
- University of Florida
- University of Southern Denmark
- Chalmers University of Technology
- Empa
- Institute of Bioorganic Chemistry Polish Academy of Sciences
- Instituto Politécnico de Bragança
- Linköping University
- Stony Brook University
- Texas A&M AgriLife Extension
- The University of Iowa
- The University of Queensland
- University of Luxembourg
- University of North Carolina at Chapel Hill
- University of Silesia in Katowice
- WROCŁAW UNIVERSITY OF ENVIRONMENTAL AND LIFE SCIENCES
- Wroclaw University of Science and Technology
- AGH University of Krakow
- Aalborg Universitet
- Argonne
- Austrian Academy of Sciences, The Marietta Blau Institute of Particle Physics (MBI)
- Baylor College of Medicine
- Boise State University
- CNRS
- California State University, Northridge
- Delft University of Technology (TU Delft)
- Emory University
- European Space Agency
- George Emil Palade University of Medicine, Pharmacy, Science, and Technology of Târgu Mureș
- IMT MINES ALES
- IMT Mines Ales
- Idiap Research Institute
- Indiana University
- Jagiellonian University
- Johns Hopkins University
- Lodz University of Technology
- Maj Institute of Pharmacology Polish Academy of Sciences
- Massachusetts Institute of Technology (MIT)
- Pennsylvania State University
- Poznan University of Technology
- Princeton University
- Rutgers University
- SUNY University at Buffalo
- San Diego State University
- Sandia National Laboratories
- Singapore-MIT Alliance for Research and Technology
- Technical University of Denmark
- Texas A&M University System
- The California State University
- The Norwegian Polar Institute
- Télécom Paris
- U.S. Department of Energy (DOE)
- UNIVERSITY OF VIENNA
- Umeå universitet stipendiemodul
- University of Agriculture in Krakow
- University of Antwerp
- University of Cincinnati
- University of Colorado
- University of Connecticut
- University of Delaware
- University of London
- University of Reading
- University of Reading;
- University of San Diego
- University of Texas at Austin
- University of Vienna
- Wrocław University of Science and Technology
- 83 more »
- « less
-
Field
-
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
-
sequences, verification, and logical aspects of verification. - Research within the Automata and Applications group - Participation in research seminars and group discussions - Participation in meetings
-
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
-
10.08.2021, Academic staff Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification - PhD student in
-
state-of-the-art verification techniques and tools for scientific software. The project is part of a program, sponsored by the U.S. Department of Energy and the U.S. National Science Foundation, named
-
Carlo based simulation approaches and continuum modelling. Verification of simulation results against experimental findings will be part of your activities. You are expected to publish your research
-
verification of degree. This position requires a formal degree in the cited discipline area(s) to ensure that candidates have advanced knowledge, analytical skills and professional competencies necessary
-
verification of credentials and/or other information required by the institution’s procedures, including the completion of the criminal history check. Equal Opportunity/Veterans/Disability Employer.
-
performs research across programming languages, formal verification, and automated reasoning, and includes J. Garrett Morris , Cesare Tinelli , Katherine Kosaian , as well as several research scientists
-
/evidence, reproducible AI-in-the-loop pipelines, or evaluation/verification of model-generated outputs) is preferred. The initial appointment is funded for one-year from the date of hire with a possibility