Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Oak Ridge National Laboratory
- Texas A&M University
- George Washington University
- National Renewable Energy Laboratory NREL
- Texas A&M AgriLife
- University of Luxembourg
- University of Washington
- Nature Careers
- Technical University of Munich
- Washington University in St. Louis
- Aarhus University
- Durham University
- Empa
- European Space Agency
- Institute of Dendrology, Polish Academy of Sciences
- Institute of Medical Biology Polish Academy of Sciences
- Instituto Politécnico de Bragança
- MUNSTER TECHNOLOGICAL UNIVERSITY
- Maastricht University (UM)
- Maastricht University (UM); Maastricht
- SUNY University at Buffalo
- TTI
- Technical University of Denmark
- Télécom Paris
- Universidade Católica Portuguesa - CATÓLICA-LISBON
- University of Cincinnati
- University of Florida
- Vanderbilt University
- Virginia Tech
- Washington State University
- 20 more »
- « less
-
Field
-
- PhD student in quantitative verification interested in co-developing Automata Tutor - main developer of Automata Tutor Positions in the Formal Methods for Software Reliability group of TU Munich led by
-
proximity operations in collaboration with Redwire Space Luxembourg. The candidate will carry a leading role in this area and support PhD candidates in their thesis research. The candidate will work closely
-
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
-
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
-
hold a PhD degree at their contract start date. Faculty of Science & Informatics: TU-RISE POSTDOCTORAL RESEARCHER - Quantum Software Engineering (Quantum-Explore project) – Job ID 0253 Further
-
. 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
-
maintaining equipment and software, IRB application, sensory evaluation, and other tasks. • Attend scientific conferences, workshops, and share research results through publications, posters, and
-
, Integrity, Teamwork, Safety, and Service. Promote equal opportunity by fostering a respectful workplace – in how we treat one another, work together, and measure success. Basic Qualifications: A PhD in
-
Laboratory (ORNL). Major Duties/Responsibilities: Develop models and software for the design and optimization of sensor networks in complex systems, such as water treatment systems Develop physics-based and
-
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