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
- Texas A&M University System
- University of Luxembourg
- Washington State University
- Washington University in St. Louis
- Aarhus University
- Technical University of Munich
- Texas A&M AgriLife Extension
- Centro de Estudos Filosóficos e Humanísticos (CEFH) | Universidade Católica Portuguesa
- Colorado State University
- Durham University
- Embry-Riddle Aeronautical University
- Empa
- European Space Agency
- INESC ID
- Institute of Dendrology, Polish Academy of Sciences
- Institute of Medical Biology Polish Academy of Sciences
- Instituto Politécnico de Bragança
- Kennesaw State University
- Lawrence Berkeley National Laboratory
- MUNSTER TECHNOLOGICAL UNIVERSITY
- Maastricht University (UM)
- Maastricht University (UM); Maastricht
- Massachusetts Institute of Technology
- Nature Careers
- SUNY University at Buffalo
- TTI
- Technical University of Denmark
- Télécom Paris
- U.S. Department of Energy (DOE)
- Universidade Católica Portuguesa - CATÓLICA-LISBON
- University of California
- University of Cincinnati
- University of Florida
- Vanderbilt University
- Virginia Tech
- 31 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
-
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
-
applications, (2) design and architecture of integrated, hybrid, atomistic simulation software packages (e.g., LAMMPS) and DL models, and (3) documentation, verification and validation, and software quality
-
. Preferred knowledge, skills and abilities: Knowledge of plant physiology, lighting systems (e.g., LEDs), irrigation, or nutrient management in controlled environments. Proficiency in data analysis software
-
expertise with software such as CLC Genomics, Blast2GO, SnapGene, and Smartsheet, or similar software. Ability to code Flexibility in developing or adapting new workflows All positions are security-sensitive
-
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
-
, and verification techniques. This position offers an opportunity to shape the rapidly evolving field of Quantum Software Engineering, addressing key challenges in software development workflows, testing
-
. 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
-
to utilize a computer and applicable software to create databases, perform statistical analyses, present data and perform other computer related tasks, such as Microsoft Office. Preferred Special Knowledge