Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- George Washington University
- Lawrence Livermore National Laboratory
- University of Arkansas
- George Mason University
- Indiana University
- Texas A&M University
- Texas A&M University System
- University of Texas at Austin
- University of Washington
- AALTO UNIVERSITY
- Aarhus University
- Chalmers University of Technology
- Dalhousie University
- EPFL
- Linköping University
- NEW YORK UNIVERSITY ABU DHABI
- National Renewable Energy Laboratory NREL
- Technical University of Denmark
- The University of Queensland
- Washington State University
- 10 more »
- « less
-
Field
-
-ready mission software package; Assist in software testing, verification, and integration; and Comply with NASA space systems requirements and procedures. Reporting and Coordinating Assist in the
-
reasoning about them remains surprisingly difficult. Our research addresses this challenge in the following domains: Designing expressive languages for specifying network behavior Developing verification
-
doing research on interactive verification of safety and security properties of challenging software systems. We offer full-time (37 hours/week) two-year postdoc positions. The starting date is
-
vision of WASP is excellent research and competence in artificial intelligence, autonomous systems and software for the benefit of Swedish industry. Read more: https://wasp-sweden.org/ Linköping
-
, entanglement witnesses and verification) necessary to resolve the entangled vacuum variance. Relevant keywords of this project in experiment includes: electro-optic sampling, terahertz pulses
-
Landolt Mission team is responsible for developing and executing a NASA space-based mission through coordinated work across science, payload, spacecraft bus, software, systems engineering, integration and
-
Two Postdocs in Programming Languages Reference number REF 2026-0339 Do you want to use functional programming to find new ways to develop, test and formally verify software or hardware? Chalmers
-
. Develop reconstruction, simulation, and analysis software using modern C++, Python, ROOT, and HPC/Grid computing resources for processing multi-petabyte experimental datasets. Develop and apply state-of
-
, backup verification, tagging, cost tracking, and deployment in sandbox or development environments; Monitor dashboards and service alerts; perform first-level troubleshooting; collect diagnostic
-
Associates to lead methodological innovation, software architecture engineering, and scientific execution across its active grant portfolio. Working under the direct mentorship of Dr. Hongfang Liu and lab