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
- Lehigh University
- Bowdoin College
- University of Florida
- Washington State University
- Technical University of Munich
- Texas A&m Engineering
- Washington University in St. Louis
- Brookhaven National Laboratory
- Central State University
- Luleå tekniska universitet
- EPFL
- European Space Agency
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Institute of Bioorganic Chemistry Polish Academy of Sciences
- Instituto Politécnico de Bragança
- Massachusetts Institute of Technology
- Pennsylvania State University
- Texas A&M AgriLife Extension
- University of Antwerp
- University of Luxembourg
- University of New South Wales
- University of North Carolina at Chapel Hill
- University of Oxford
- Utrecht University
- Wroclaw University of Science and Technology
- AGH University of Krakow
- Argonne
- Boise State University
- CNRS
- Chalmers University of Technology
- INCLIVA Biomedical Research Institute
- Indiana University
- Johns Hopkins University
- KTH Royal Institute of Technology
- Kennesaw State University
- Lodz University of Technology
- Lulea University of Technology
- Lunenfeld-Tanenbaum Research Institute
- Luxembourg Institute of Science and Technology
- National Aeronautics and Space Administration (NASA)
- Poznan University of Technology
- Purdue University
- Saarland University
- Sandia National Laboratories
- Stanford University
- Swarthmore College
- TTI
- The University of Queensland
- U.S. Department of Energy (DOE)
- UNIVERSITY OF VIENNA
- University of California Irvine
- University of Connecticut
- University of Kansas
- University of Maryland
- University of Vienna
- Universität Wien
- Wageningen University & Research
- Warsaw University of Technology
- 53 more »
- « less
-
Field
-
, formal methods, convex geometry). 2. Master’s or PhD in Computer Science, Electrical Engineering, Control Systems, or a closely related field. 3. Experience in reachability analysis, formal verification
-
, qualification, and deployment of AI agents and models, Computational Fluid Dynamics (CFD) simulation codes, and Finite Element Method (FEM) based tools for nuclear energy (fission and fusion) applications
-
translation efforts that enhance the impact and sustainability of the QUM program. This position is embedded within a nationally recognised research team focused on improving the safety and quality use
-
group investigates the mathematical foundations of programming and automated reasoning about software. Our research spans programming languages and type systems, program analysis and verification, logic
-
College of Agriculture and Life Sciences at Texas A&M University Texas A&M Forest Service Texas A&M Veterinary Medical Diagnostic Laboratory As the nation’s largest most comprehensive agriculture program
-
research profile in time-domain science with room for independent projects and collaborations. You participate in the commissioning and science verification of the new wide-field camera system. You develop
-
. The precise balance of activities will be determined by the candidate's expertise and the needs of the research program. Required Qualifications Doctoral degree in Control Engineering, Electrical Engineering
-
at the intersection of applied mathematics, computational science, and high-performance computing. The successful candidate will help develop advanced scientific computing methods and deploy them on state-of-the-art
-
time-domain science with room for independent projects and collaborations. You participate in the commissioning and science verification of the new wide-field camera system. You develop, maintain, and
-
Qualifications Doctoral degree in plasma physics, nuclear engineering, applied physics, computational science, or a closely related field, completed by the start of the appointment. Strong foundation in plasma