Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Texas A&M University
- University of Washington
- Texas A&M AgriLife
- George Washington University
- National Renewable Energy Laboratory NREL
- Washington University in St. Louis
- Bowdoin College
- Cornell University
- University of Arkansas
- University of Kansas
- Texas A&M AgriLife Extension
- Binghamton University
- University of Florida
- Washington State University
- Colorado State University
- University of North Carolina at Chapel Hill
- University of Texas at Austin
- European Space Agency
- Princeton University
- SUNY University at Buffalo
- Stony Brook University
- Technical University of Munich
- Texas A&m Engineering
- Harvard University
- Iowa State University
- Nature Careers
- Oak Ridge National Laboratory
- Stanford University
- University of Oxford
- ;
- Aalborg University
- Aarhus University
- Arizona State University
- Baylor College of Medicine
- Cal Poly Pomona
- DURHAM UNIVERSITY
- Durham University
- Embry-Riddle Aeronautical University
- Forschungszentrum Jülich
- INSAIT - The Institute for Computer Science
- Langston University
- Mälardalen University
- Rice University
- TTI
- Technical University of Denmark
- The University of Arizona
- U.S. Department of Energy (DOE)
- University of Cambridge
- University of Liverpool
- University of Maryland
- University of New South Wales
- University of Zurich Blockchain Center
- Vanderbilt University
- 43 more »
- « less
-
Field
- Computer Science
- Biology
- Medical Sciences
- Engineering
- Science
- Chemistry
- Economics
- Humanities
- Psychology
- Business
- Earth Sciences
- Philosophy
- Arts and Literature
- Social Sciences
- Electrical Engineering
- Materials Science
- Mathematics
- Physics
- Sports and Recreation
- Education
- Environment
- Law
- Statistics
- 13 more »
- « less
-
We are seeking to recruit a motivated postdoctoral researcher in Verification and Game Theory. You will enjoy developing algorithms, lower bounds, and possibly proof-of-concept implementations
-
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
-
the institution’s 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.
-
-sensitive. Applicants are subject to a criminal history investigation, and employment is contingent upon the institution’s verification of credentials and/or other information required by the institution’s
-
in time-predictable computer architecture. Designing a network-on-chip for real-time automotive systems Verify the design with modern verification methods, such as function verification and formal
-
history investigation, and employment is contingent upon the institution’s verification of credentials and/or other information required by the institution’s procedures, including the completion
-
to 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
-
. Responsibilities include cleaning datasets from recently completed research studies, database management, conducting statistical analyses (SAS or R), review/verification and archival of programs for research
-
, engineering, computer science, and machine learning. The postdoctoral fellow will assume scientific leadership for one observatory site and will: Lead site commissioning, including performance verification and