Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- George Washington University
- Texas A&M University
- University of North Carolina at Chapel Hill
- National Renewable Energy Laboratory NREL
- Oak Ridge National Laboratory
- 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
-
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
-
position is grant funded; future employment may be contingent upon future funding. Qualifications Required Education and Experience Appropriate PhD in a related field. Preferred Qualifications Experience