Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Oak Ridge National Laboratory
- Texas A&M University
- George Washington University
- University of Washington
- Texas A&M AgriLife
- National Renewable Energy Laboratory NREL
- Institut de Físiques d'Altes Energies (IFAE)
- Technical University of Munich
- University of Kansas
- University of Luxembourg
- Aarhus University
- Austrian Academy of Sciences, The Marietta Blau Institute of Particle Physics (MBI)
- IMT MINES ALES
- IMT Mines Ales
- Idiap Research Institute
- Indiana University
- Kennesaw State University
- Nature Careers
- Texas A&M AgriLife Extension
- Texas A&M University System
- University of Cincinnati
- University of Colorado
- University of Delaware
- University of London
- University of Minnesota
- University of Reading
- University of Reading;
- University of Silesia in Katowice
- Uppsala universitet
- WROCŁAW UNIVERSITY OF ENVIRONMENTAL AND LIFE SCIENCES
- Washington State University
- 21 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
-
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
-
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
-
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
-
for activities in the Zero-G Lab and contributing to the Black-Hole Lab at Redwire Space Luxembourg for Hardware in the loop emulation of on-orbit scenarios. Responsabilities: Investigate existing verification and
-
and scientific exploitation of state-of-the-art, ground-based gamma-ray telescopes. As a key member of the MAGIC and CTAO-LST collaborations, the group develops critical hardware, software, and data
-
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
-
software for genetic analysis of polyploid plant species, and ability to work with databases and to handle large data sets. Experience in phylogenetic analysis, marker trait association studies and genomic
-
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
-
: -Excellent verbal and written communication skills. -Ability to analyze data and write reports. -Ability to utilize a computer and applicable software. -Ability to multi task and work cooperatively with others