Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- Oak Ridge National Laboratory
- Texas A&M AgriLife
- Boise State University
- Chalmers University of Technology
- European Space Agency
- George Washington University
- National Aeronautics and Space Administration (NASA)
- Pennsylvania State University
- Sandia National Laboratories
- Texas A&M University
- UNIVERSITY OF VIENNA
- University of California Irvine
- University of Liverpool
- University of Vienna
- Universität Wien
- Washington State University
- 6 more »
- « less
-
Field
-
for extreme-scale, heterogeneous computing. This role sits at the intersection of compiler infrastructure, formal verification, runtime systems, and hardware/software co‑design—expanding into emerging paradigms
-
Do you want to use functional programming to find new ways to develop, test and formally verify software or hardware? Chalmers, with its world leading groups in functional programming and formal
-
performance of quantum computing systems and quantum devices. AI-Driven Quantum Algorithm and Circuit Design: Develop AI-powered methods for the automated discovery, design, compilation, verification, and
-
National Aeronautics and Space Administration (NASA) | Pasadena, California | United States | 7 days ago
mission concepts that address humanity's core questions through a combination of science and technology. They are supported in developing ideas into proposals and hardware, and in communicating funded
-
on neuromorphic and AI accelerator hardware; Apply existing state-of-the-art methods and algorithms to domain data; Engage with the community for conferences, workshops, proposals, and outreach; Develop and support
-
, including hardware, software, tools, and applications Apply your proficiency in developing sophisticated software systems, such as operating systems, compilers, adaptive runtime systems, or scalable
-
, deploy, and maintain acoustic recording hardware and sensor systems. Collaborate with interdisciplinary teams to enhance conservation strategies and decision-making. Publish findings in peer-reviewed
-
to work on memristive-based neuromorphic circuits. The Adaptive Devices and Microsystems lab at the George Washington University conducts research in novel types of devices, circuits and hardware
-
physics, particle physics, or a closely related field completed within the last 5 years Preferred Qualifications: Hardware and/or data analysis/simulations experience relevant to rare event searches
-
for greenhouses and vertical farming systems. The successful candidate will focus on robot hardware development, automation system design, machine vision, and intelligent control, supported by physics-based