Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Texas A&M University System
- University of San Diego
- Oak Ridge National Laboratory
- Texas A&M University
- George Washington University
- National Renewable Energy Laboratory NREL
- Texas A&M AgriLife
- Lawrence Livermore National Laboratory
- The University of Queensland
- University of Arkansas
- University of Texas at Austin
- Colorado State University
- George Mason University
- Indiana University
- Michigan State University
- Texas A&m Engineering
- University of Washington
- AALTO UNIVERSITY
- Aarhus University
- Argonne
- Center for Drug Evaluation and Research (CDER)
- Chalmers University of Technology
- Dalhousie University
- EPFL
- Eastern University
- King's College London
- Linköping University
- NEW YORK UNIVERSITY ABU DHABI
- Purdue University
- Technical University of Denmark
- Texas A&M AgriLife Extension
- The Ohio State University
- University of Connecticut
- University of Florida
- University of Maryland, Baltimore
- University of Saskatchewan
- Vanderbilt University
- Washington State University
- Yale University
- 29 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
-
topics include AI-assisted software development, intelligent software architecture and design, automated testing and verification, code generation and repair, DevOps and deployment automation, software
-
reasoning about them remains surprisingly difficult. Our research addresses this challenge in the following domains: Designing expressive languages for specifying network behavior Developing verification
-
: the PLC and instrument control, the software that coordinates the stations, and the connection to the campaign logic that plans experiments and consumes their results. The postdoc will work closely
-
: the PLC and instrument control, the software that coordinates the stations, and the connection to the campaign logic that plans experiments and consumes their results. The postdoc will work closely
-
Environment invites applications for a Postdoctoral Associate to join a funded project on digital monitoring, reporting and verification for natural climate solutions and conduct other work in the area of
-
systems 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
-
candidate will conduct model verification, sensitivity analysis, calibration, validation, performance evaluation, and troubleshooting. The position requires strong scientific programming and software
-
innovative ideas to improve upon future events Other duties as assigned Background check: Successful completion of a pre-employment background check. Degree Verification Requirement : Persons offered
-
preprocessing, postprocessing, automated testing, calibration, and visualization workflows; and conduct model verification, sensitivity analysis, calibration, validation, performance evaluation, and