Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- George Washington University
- Oak Ridge National Laboratory
- Texas A&M University
- National Renewable Energy Laboratory NREL
- Texas A&M AgriLife
- University of Luxembourg
- University of Washington
- Nature Careers
- Technical University of Denmark
- Technical University of Munich
- University of North Carolina at Chapel Hill
- 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
- NORCE
- SUNY University at Buffalo
- TTI
- Télécom Paris
- Universidade Católica Portuguesa - CATÓLICA-LISBON
- University of Cincinnati
- University of Florida
- Vanderbilt University
- Virginia Tech
- 21 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
-
. 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
-
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
-
maintaining equipment and software, IRB application, sensory evaluation, and other tasks. • Attend scientific conferences, workshops, and share research results through publications, posters, 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
-
systems along the U.S. Gulf Coast. What You Need To Know Salary: $71,772.00 - $80,004.00. A cover letter and resume are strongly recommended. Qualifications Required Education and Education Doctoral (PhD
-
-source modeling and verification environment based on UML/SysML. This software is used to quickly explore the design space and test different architectural solutions. Finally, LabSoC collaborates with
-
responsibility for our unique GPU-accelerated 3D FDTD software suite and extending its capabilities Modelling the effects of atmospheric turbulence fields Software development (3D modelling and coding in Python, C