Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Washington
- George Washington University
- Washington University in St. Louis
- Technical University of Munich
- Oak Ridge National Laboratory
- Texas A&M University
- University of California, San Francisco
- University of Luxembourg
- University of Texas at Austin
- Brown University
- Johns Hopkins University
- National Renewable Energy Laboratory NREL
- Aarhus University
- Empa
- Nantes Université
- National University of Science and Technology POLITEHNICA Bucharest
- Nature Careers
- Poznan University of Technology
- Texas A&M AgriLife
- Universidade Católica Portuguesa - CATÓLICA-LISBON
- University of Bergen
- University of New Mexico
- University of North Carolina at Charlotte
- Uppsala universitet
- Vanderbilt University
- 15 more »
- « less
-
Field
-
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
-
University of North Carolina at Charlotte | Charlotte, North Carolina | United States | about 3 hours ago
specification and verification tools (e.g., TLA+, Coq, SMT solvers, etc.) is strongly preferred. ● Familiarity with high-assurance languages or provably-correct software development. ● Knowledge of low-level
-
. Job Description Primary Duties & Responsibilities: Assists PI/Postdoc fellow with running study participants through magnetic resonance imaging experiments. Transferring files to appropriate server
-
within the Center, providing guidance and direction to faculty, staff, postdocs, and students, and resolving unusual and complex hardware and software problems. The position requires regular work in a
-
utilize an array of software packages to conduct high dimensional mediation analyses, multi-omic analyses, and more. The candidate will also be expected to interpretate findings and contribute to manuscript
-
on different aspects of programming language design, program verification and software engineering. Beyond technical collaborations, the group meets regularly and provides an engaging and supportive environment
-
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
-
Requisition Id 15709 Overview: We are seeking a Postdoc who will focus on urban-scale energy modeling. This position resides in the Grid Interactive Control Group in the Energy Systems
-
of undergraduate and graduate students. This position will be expected to support the training and mentorship of these students. Postdocs will design, organize and conduct specialized and advanced experiments using
-
implement algorithms, models, and software applications that can be translated to clinical use. Job Description Primary Duties & Responsibilities: Information on being a postdoc at WashU in St. Louis can be