Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Oak Ridge National Laboratory
- Texas A&M University
- George Washington University
- Texas A&M AgriLife
- National Renewable Energy Laboratory NREL
- University of Washington
- Institut de Físiques d'Altes Energies (IFAE)
- Technical University of Munich
- University of Kansas
- Aarhus University
- Austrian Academy of Sciences, The Marietta Blau Institute of Particle Physics (MBI)
- IMT MINES ALES
- IMT Mines Ales
- Idiap Research Institute
- Indiana University
- Nature Careers
- Texas A&M AgriLife Extension
- Texas A&M University System
- University of Cincinnati
- University of Colorado
- University of Delaware
- University of London
- University of Luxembourg
- University of Minnesota
- University of Reading
- University of Reading;
- University of Silesia in Katowice
- Uppsala universitet
- WROCŁAW UNIVERSITY OF ENVIRONMENTAL AND LIFE SCIENCES
- Washington State University
- 20 more »
- « less
-
Field
-
following areas: software verification, programming languages, static analysis, runtime monitoring, or software engineering. You will have demonstrated research capability through publications in top-tier
-
state-of-the-art verification techniques and tools for scientific software. The project is part of a program, sponsored by the U.S. Department of Energy and the U.S. National Science Foundation, named
-
: -Excellent verbal and written communication skills. -Ability to analyze data and write reports. -Ability to utilize a computer and applicable software. -Ability to multi task and work cooperatively with others
-
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
-
, program synthesis, semantic parsing, tool-augmented/agentic workflows) 2. Symbolic methods (logic/constraints, SAT/SMT, theorem proving, planning) * Strong software engineering skills (typically Python
-
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
-
and scientific exploitation of state-of-the-art, ground-based gamma-ray telescopes. As a key member of the MAGIC and CTAO-LST collaborations, the group develops critical hardware, software, and data
-
. Collaborate with a multidisciplinary team of engineers, computer scientists, and data scientists to put research insights into open-source software products. Publish research findings in leading academic
-
of the Mathematics in Computation (MiC) Section of the Computer Science and Mathematics (CSM) Division. CSM delivers fundamental and applied research capabilities in a wide range of areas, including
-
experience unless stated elsewhere in the job posting. Skills: 3D Imaging, Collaboration, Communication, Computer Coding, Data Analysis, Data Interpretations, Data Science, Electroencephalogram (EEG