16 formal-methods Postdoctoral positions at National Aeronautics and Space Administration (NASA)

Development of Inverse Heat Transfer Methods for Reconstructing Aerothermal Entry Environments

National Aeronautics and Space Administration (NASA) | Fields Landing, California | United States | 15 days ago

transfer modeling, which leverages in-depth temperature measurements to estimate surface heating conditions. These methods are also invaluable in high-enthalpy test environments like arc jet testing, where

Fiber Modeling for Thermal Protection Materials

National Aeronautics and Space Administration (NASA) | Fields Landing, California | United States | about 1 hour ago

simulation (such as bonded particle) and Eulerian (such as finite element) methods can be used. Proposals should acknowledge the benefits and limits of their technique compared to others. Part of the proposal

Astrodynamics Applications of Artificial Intelligence

National Aeronautics and Space Administration (NASA) | Pasadena, California | United States | about 1 hour ago

-body or highly nonlinear systems.  The emphasis will be on how AI methods can both characterize and optimize trajectories within complex design spaces.  Within this context, contingency planning

Earth Science: Impacts

National Aeronautics and Space Administration (NASA) | New York City, New York | United States | 14 days ago

. Of particular interest are methods by which weather and climate model outputs may be used to generate useful information for decision-makers and impact sector models (e.g., through the Agricultural Model

Pre-Fire Burnable Material Assessment and Post-Fire Damage Assessment from Multi-Sensor Remote Sensing

National Aeronautics and Space Administration (NASA) | Pasadena, California | United States | about 1 hour ago

potential burnability. Calibrate, validate, and generalize methods across diverse ecoregions; quantify and report uncertainty. Post-Fire Damage and Recovery Assessment Delineate burned areas and map burn

Optical Plasma Diagnostics for Inductively Coupled Plasma (ICP) Material Testing and MHD Jet Stability

National Aeronautics and Space Administration (NASA) | Fields Landing, California | United States | about 1 hour ago

should be familiar with at least one of the following methods: Argon laser-induced fluorescence (LIF), O* laser absorption spectroscopy (LAS), optical emission spectroscopy (OES), and/or collisional

Uncertainty Quantification and Verification Planning for Space Systems

National Aeronautics and Space Administration (NASA) | Pasadena, California | United States | about 1 hour ago

verification with new research that implements cutting-edge uncertainty quantification methods into the systems engineering effort.  In particular, we will incorporate uncertainty quantification to enable robust

Operational Concepts and Technology Development for Passive Radar Sounding

National Aeronautics and Space Administration (NASA) | Pasadena, California | United States | about 1 hour ago

. Projects may include the design and maturation of new passive radar technologies, the development of signal processing and data analysis methods, and the integration of passive sounding with complementary

Passive Sounding of Solar System Bodies Using Radio Astronomical Sources

National Aeronautics and Space Administration (NASA) | Pasadena, California | United States | 15 days ago

understanding of passive radar sounding using planetary radio emissions. Areas of interest include characterizing the spectral and temporal properties of planetary emissions such as DAM; improving methods

Integration of remote sensing data and improved physical process representation in NASA modeling systems

National Aeronautics and Space Administration (NASA) | Greenbelt, Maryland | United States | 15 days ago

hydrologic model calibration, and use of artificial intelligence to improve existing methods in these areas. Topics related to model development include improvement of surface and groundwater hydrologic