Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- George Washington University
- Texas A&M University
- Oak Ridge National Laboratory
- University of North Carolina at Chapel Hill
- National Renewable Energy Laboratory NREL
- Technical University of Denmark
- Technical University of Munich
- University of Kansas
- University of Washington
- ;
- Aarhus University
- Durham University
- Empa
- European Space Agency
- Institute of Dendrology, Polish Academy of Sciences
- Institute of Medical Biology Polish Academy of Sciences
- Maastricht University (UM)
- Maastricht University (UM); Maastricht
- Massachusetts Institute of Technology (MIT)
- Nature Careers
- SUNY University at Buffalo
- TTI
- Texas A&M AgriLife
- University of Florida
- Vanderbilt University
- Virginia Tech
- Washington University in St. Louis
- Western Norway University of Applied Sciences
- 18 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
-
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
-
Fonden we have several postdoc and PhD openings in the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University. The research topics at the Center
-
, Neutron Sciences Directorate at Oak Ridge National Laboratory (ORNL). The qualified candidate will study, simulate and develop software for beam transport and beam dynamics in SNS superconducting linac
-
reliable, safe, and secure software systems, carrying out both upstream activities such as requirements quality assurance and architecture analysis, as well as downstream verification & validation activities
-
collaborative team of engineers, analysts, and software developers. GAC works to develop and apply state-of-the-art energy system modeling techniques, software, and simulations for breakthrough engineering and
-
software technologies for advanced preclinical imaging and irradiation. Refining disease models (primarily cancer) that closely mimic human pathology to support translational research. You will play a key
-
Job Description Real-time systems need to guarantee the timely execution of tasks. Furthermore, the whole system (processor, compiler, application software) needs to be analysable for the worst-case
-
motivated postdoc with: A PhD in biomedical sciences, molecular biology, genetics, or a related field Strong experimental skills in cell biology, molecular biology, or biochemistry Experience in cell culture
-
aim of translating findings into clinical trials. This project has two main objectives: Developing novel hardware and software technologies for advanced preclinical imaging and irradiation. Refining