Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- University of Washington
- George Washington University
- Texas A&M University
- Oak Ridge National Laboratory
- University of Kansas
- University of Luxembourg
- Washington University in St. Louis
- Aarhus University
- IMT MINES ALES
- IMT Mines Ales
- Idiap Research Institute
- Indiana University
- Institut de Físiques d'Altes Energies (IFAE)
- Kennesaw State University
- Lodz University of Technology
- Massachusetts Institute of Technology
- Nantes Université
- National Renewable Energy Laboratory NREL
- Poznan University of Technology
- Texas A&M AgriLife
- University of Minnesota
- University of Reading
- University of Reading;
- University of Silesia in Katowice
- Uppsala universitet
- Washington State University
- 16 more »
- « less
-
Field
-
We offer PostDoc positions in the area of Quantum Software Verification, Compilation and Optimization. Interested applicants with strong analytical skills and a desire to work on algorithmic and
-
at two levels: SAACD Component: This is a UAV made up of hardware and software sub-systems, capable of observing, predicting, deciding and reconfiguring itself to fulfil its mission (e.g. surveillance
-
, nutrients and antioxidant compounds (ICP, HPLC) Experience in measuring root traits and related software applications Experience in monitoring for plant stress, nutrition, health, and biocontrol of pests
-
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
-
tasks in accordance with the Individual Assignment of Duties. Where to apply Website https://form.erecruiter.pl/form/9d9857ddca3945cb92d0d39264832a17?skkcfg=0596d66… Requirements Research
-
metabolic regulation. Job Description Primary Duties & Responsibilities: Information on being a postdoc at WashU in St. Louis can be found at https://postdoc.wustl.edu/prospective-postdocs-2/ . Trains under
-
on different aspects of programming language design, program verification and software engineering. Beyond technical collaborations, the group meets regularly and provides an engaging and supportive environment
-
chapters/directed lecture materials, and development of software tools for numerical analysis based prediction and comparisons for verification and validation (30%); and -other related duties as assigned (10
-
research conferences and for manuscript preparation; use graphics and statistical software to analyze and present data; search pertinent scientific literature as needed. Supervise other personnel in
-
, 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