Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- George Washington University
- University of Washington
- Technical University of Munich
- Washington University in St. Louis
- National Renewable Energy Laboratory NREL
- Texas A&M University
- Colorado State University
- Iowa State University
- Johns Hopkins University
- Nature Careers
- University of North Carolina at Chapel Hill
- Washington State University
- Aalborg University
- Aarhus University
- European Space Agency
- Ludwig-Maximilians-Universität München •
- Mälardalen University
- Technical University of Denmark
- University of California, San Francisco
- University of Cincinnati
- University of Texas at Austin
- University of Zurich Blockchain Center
- Vanderbilt University
- 13 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
-
, safe, and secure software systems, carrying out both upstream activities such as requirements quality assurance and architecture analysis, as well as downstream verification & validation activities
-
Details Posted: Unknown Location: Salary: Summary: Summary here. Details Posted: 03-Jun-25 Location: Ames, Iowa Categories: Academic/Faculty Internal Number: R17168 Position Title: Postdoc Research
-
University of North Carolina at Chapel Hill | Chapel Hill, North Carolina | United States | about 13 hours ago
across nearly 30,000 square degrees of sky. This role will work as part of a collaborative and multidisciplinary team to develop software for data analysis, monitoring, and science verification
-
University of North Carolina at Chapel Hill | Chapel Hill, North Carolina | United States | about 13 hours ago
as well as for federally funded social and behavioral sciences research and development. Here at Carolina, our highly skilled postdocs play a vital role in our research enterprise and towards our
-
fellow will conduct research on Algorithmic Verification of Database Systems with the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus of the position will
-
, safe, and secure software systems, carrying out both upstream activities such as requirements quality assurance and architecture analysis, as well as downstream verification & validation activities
-
. Performs integrative analysis of data from multiple sources. Develops software and visualization tools that embody analysis results for use by partners and general users. Works with internal and external
-
, encryption/decryption and compression; use of microelectronics devices (including COTS); implementation, inference, verification and validation of algorithms** on processing hardware platforms for space
-
Software Defined Vehicles (SDV). The primary objective is to expand, mature, and industrialize a novel European RISC-V automotive ecosystem that enables next-generation high-performance European automotive