Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Oak Ridge National Laboratory
- Texas A&M University
- Texas A&M AgriLife
- George Washington University
- University of Washington
- National Renewable Energy Laboratory NREL
- University of Luxembourg
- Aarhus University
- Institut de Físiques d'Altes Energies (IFAE)
- Technical University of Munich
- Texas A&M AgriLife Extension
- University of Kansas
- Washington University in St. Louis
- Embry-Riddle Aeronautical University
- IMT MINES ALES
- IMT Mines Ales
- Idiap Research Institute
- Indiana University
- Kennesaw State University
- Lodz University of Technology
- Massachusetts Institute of Technology
- Nantes Université
- Nature Careers
- Poznan University of Technology
- Technical University of Denmark
- U.S. Department of Energy (DOE)
- University of Delaware
- University of London
- University of Minnesota
- University of Reading
- University of Reading;
- Uppsala universitet
- Washington State University
- 23 more »
- « less
-
Field
-
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
-
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
-
well as downstream verification & validation activities, such as software testing and runtime verification. For further information, you may refer to The position holder will be required to perform the following tasks
-
& Software Security Lab (S3Lab) at Royal Holloway, a dynamic research group comprising 3 academics, 7 PhD students, and 1 postdoc, working on cutting-edge problems in software verification and security
-
of Hardware verification, we aim to develop a neuro-symbolic AI platform to convert informal digital design specifications into formally checkable verification artifacts, with logical rigor, traceability, and
-
requirements quality assurance and architecture analysis, as well as downstream verification & validation activities, such as software testing and runtime verification. For further information, you may refer to
-
verification and security. Software systems that rely on message-passing concurrency are increasingly popular thanks to programming languages such as Go, Rust, Erlang, and Kotlin which support it natively
-
deploy advanced identity verification tools for border security involving vehicles on-the-move. The main role of the PDRA is to undertake research and development in traveller identity management
-
build and deploy advanced identity verification tools for border security involving vehicles on-the-move. The main role of the PDRA is to undertake research and development in traveller identity
-
We offer PostDoc positions in the area of Quantum Software Verification, Compilation and Optimization. Interested applicants with strong analytical skills and a desire to work on algorithmic and