Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Oak Ridge National Laboratory
- Texas A&M University
- Texas A&M AgriLife
- University of Washington
- George Washington University
- Washington University in St. Louis
- University of Luxembourg
- Aarhus University
- National Renewable Energy Laboratory NREL
- Technical University of Munich
- Texas A&M AgriLife Extension
- Washington State University
- Centro de Estudos Filosóficos e Humanísticos (CEFH) | Universidade Católica Portuguesa
- Embry-Riddle Aeronautical University
- Empa
- Institut de Físiques d'Altes Energies (IFAE)
- Institute of Medical Biology Polish Academy of Sciences
- Instituto Politécnico de Bragança
- Lawrence Berkeley National Laboratory
- Lodz University of Technology
- MUNSTER TECHNOLOGICAL UNIVERSITY
- Massachusetts Institute of Technology
- Nantes Université
- Nature Careers
- Poznan University of Technology
- SUNY University at Buffalo
- Texas A&M University System
- Télécom Paris
- U.S. Department of Energy (DOE)
- Universidade Católica Portuguesa - CATÓLICA-LISBON
- University of California
- University of Cincinnati
- University of Florida
- Vanderbilt University
- Virginia Tech
- 25 more »
- « less
-
Field
-
10.08.2021, Wissenschaftliches Personal Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification
-
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
-
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
-
at the graduate level, programming. Analysis group leadership, student mentorship. Data analysis for HEP. ML reconstruction, Geant4, software development, statistics. Position 2: Postdoctoral Research Associate
-
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
-
for activities in the Zero-G Lab and contributing to the Black-Hole Lab at Redwire Space Luxembourg for Hardware in the loop emulation of on-orbit scenarios. Responsabilities: Investigate existing verification and
-
applications, (2) design and architecture of integrated, hybrid, atomistic simulation software packages (e.g., LAMMPS) and DL models, and (3) documentation, verification and validation, and software quality
-
implement algorithms, models, and software applications that can be translated to clinical use. Job Description Primary Duties & Responsibilities: Information on being a postdoc at WashU in St. Louis can be
-
, and verification techniques. This position offers an opportunity to shape the rapidly evolving field of Quantum Software Engineering, addressing key challenges in software development workflows, testing
-
expertise with software such as CLC Genomics, Blast2GO, SnapGene, and Smartsheet, or similar software. Ability to code Flexibility in developing or adapting new workflows All positions are security-sensitive