Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- George Washington University
- University of Washington
- Oak Ridge National Laboratory
- Washington University in St. Louis
- Texas A&M University
- University of Luxembourg
- Aarhus University
- Centro de Estudos Filosóficos e Humanísticos (CEFH) | Universidade Católica Portuguesa
- IMT Mines Ales
- Institut de Físiques d'Altes Energies (IFAE)
- Lodz University of Technology
- Massachusetts Institute of Technology
- Nantes Université
- Nature Careers
- Poznan University of Technology
- Texas A&M AgriLife
- U.S. Department of Energy (DOE)
- University of Florida
- University of Minnesota
- Uppsala universitet
- Washington State University
- 11 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
-
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
-
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
-
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
-
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
-
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
-
, 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
-
utilize an array of software packages to conduct high dimensional mediation analyses, multi-omic analyses, and more. The candidate will also be expected to interpretate findings and contribute to manuscript
-
of peer-reviewed publications and conference presentations in traumatic stress. Advanced data anaylsis skills, including use of statistical software (e.g. SPSS, R, SAS). Prior involvement in successful