Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Oak Ridge National Laboratory
- Texas A&M University
- George Washington University
- Texas A&M AgriLife
- University of Washington
- University of Luxembourg
- Aarhus University
- Institut de Físiques d'Altes Energies (IFAE)
- National Renewable Energy Laboratory NREL
- Technical University of Munich
- Washington University in St. Louis
- Empa
- 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
- Nantes Université
- Nature Careers
- SUNY University at Buffalo
- Télécom Paris
- Universidade Católica Portuguesa - CATÓLICA-LISBON
- University of Cincinnati
- University of Florida
- Vanderbilt University
- Virginia Tech
- Washington State University
- 17 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
-
hardware design and verification (HDL: VHDL/Verilog, simulation tools). · Hands-on experience with FPGA prototyping or hardware/software co-design is highly desirable. · Good communication
-
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
-
. Apply! Submitting a cover letter, resume/CV to assist us with the review process. You may upload these documents to the application under CV/Resume. Required education and experience Appropriate PhD in
-
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
-
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
-
manuscript preparation; use graphics and statistical software to analyze and present data; search pertinent scientific literature as needed. • Supervise other personnel in the laboratory; participate in
-
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
-
parcellation (Glasser et al., 2016 Nature). The post-doc will be co-mentored by Matthew F. Glasser MD/PhD and David C. Van Essen PhD and be based in the Glasser/Van Essen laboratory in the WashU Radiology