Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- George Washington University
- Oak Ridge National Laboratory
- Texas A&M University
- University of Washington
- National Renewable Energy Laboratory NREL
- University of Luxembourg
- Washington University in St. Louis
- Aarhus University
- Technical University of Munich
- Colorado State University
- Empa
- European Space Agency
- INESC ID
- Institute of Dendrology, Polish Academy of Sciences
- Institute of Medical Biology Polish Academy of Sciences
- Nature Careers
- Technical University of Denmark
- Télécom Paris
- Universidade Católica Portuguesa - CATÓLICA-LISBON
- Vanderbilt University
- 10 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
-
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
-
manipulation will find a young and vibrant team of over 23 members fostering a collaborative atmosphere (1 Prof., 1 Research Scientist, 15 PhD students, 5 PostDocs, 1 Research assistant). SpaceR’s state
-
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
-
. 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
-
respiratory dysfunction and/or Parkinson’s disease is strongly preferred. Strong analytical, organizational, and communication skills, with a record of scholarly productivity. Postdocs will design, organize
-
compliance, as well as downstream verification & validation activities, such as software testing and runtime verification. For further information, you may refer to https://www.uni.lu/snt-en/research-groups
-
identify new genes involved in AD etiology. Job Description Primary Duties & Responsibilities: Information on being a postdoc at Washington University in St. Louis can be found at https://postdoc.wustl.edu
-
identify new genes involved in AD etiology. Job Description Primary Duties & Responsibilities: Information on being a postdoc at Washington University in St. Louis can be found at https://postdoc.wustl.edu
-
research on interactive verification of safety and security properties of challenging software systems. We offer full-time (37 hours/week) postdoc positions of 1-3 years. The starting date is December 1