Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Oak Ridge National Laboratory
- George Washington University
- Texas A&M University
- Texas A&M AgriLife
- National Renewable Energy Laboratory NREL
- University of Luxembourg
- University of Washington
- Aarhus University
- Institut de Físiques d'Altes Energies (IFAE)
- Technical University of Munich
- Washington University in St. Louis
- 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
- Lodz University of Technology
- MUNSTER TECHNOLOGICAL UNIVERSITY
- Maastricht University (UM)
- Maastricht University (UM); Maastricht
- Nature Careers
- 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
- 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
-
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
-
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
-
to analyze complex datasets and synthesize multidisciplinary information. Strong quantitative and statistical skills. Proficiency in R or similar statistical software. Excellent written and verbal
-
advanced computational approaches, software engineering, high-performance computing, and an understanding of materials science, with an emphasis on metallurgy related to phase transformations and/or
-
engineering Researcher Profile Recognised Researcher (R2) Positions PhD Positions Country Poland Application Deadline 7 Dec 2025 - 00:00 (Europe/Brussels) Type of Contract Temporary Job Status Full-time Hours
-
critical hardware, software, and data management solutions. Our members are recognized experts in gamma-ray data analysis, with research spanning astrophysical phenomena and fundamental physics. Building
-
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
-
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
-
. 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