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
-
Confidential Computing and Secure Multi-tenancy. The candidate will be able to make research contributions in areas of system software architectures to support secure computing enclaves on large scale HPC and
-
professional, academic, and research organizations. Basic Qualifications: A PhD in computer science/engineering or relevant area with an education and a research track record in HPC/AI/edge systems and storage
-
, technical reports, and presentations. Seek membership and service opportunities in professional, academic, and research organizations. Basic Qualifications: A PhD in computer science/engineering or relevant
-
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
-
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