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 Luxembourg
- University of Washington
- 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
- 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 Florida
- Uppsala universitet
- Vanderbilt University
- Virginia Tech
- Washington State University
- 15 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
-
field relevant to the position such programming languages, program verification, or software engineering, or a foreign degree equivalent to a PhD degree in Sweden. The degree needs to be obtained by
-
to the application under CV/Resume. Required educations and experience Appropriate PhD in a related field. Preferred qualifications PhD, Computational Biology, Bioinformatics, Computer Science Training in statistics
-
, ground-based gamma-ray telescopes. As a key member of the MAGIC and CTAO-LST collaborations, the group develops critical hardware, software, and data management solutions. Our members are recognized
-
Description Here’s a Glimpse of the Job The Postdoctoral Research Associate is responsible for research in experimental particle physics including computing and software for the SuperCDMS experiment
-
performance. Position 1: Postdoctoral Research Associate – Detector Design & Analysis Qualifications: PhD in Experimental Particle Physics or related field. Preferred Qualifications Physics analysis
-
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
-
experience in urban-scale building energy modeling. Understanding for creating, modifying, and analyzing OpenStudio and EnergyPlus building energy models. Strong software development skills for automation
-
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
-
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