9 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 | about 1 hour 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

Passive Sounding of Solar System Bodies Using Radio Astronomical Sources

National Aeronautics and Space Administration (NASA) | Pasadena, California | United States | about 1 hour 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

Computational, Analytical and Experimental Thermodynamics to Investigate the Presence, Stability, and Implications of Organic Matter in Ocean Worlds

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

computational methods. These quantities feed into our group's thermodynamic and geophysical numerical models. In addition, we are interested in investigating the consequences of the presence of organic matter in

NASA Solar System Exploration Research Virtual Institute (SSERVI) Collaboration

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

or more SSERVI team; past or current experience relevant to SSERVI's mission or to the research being conducted by one or more SSERVI team; expected contributions during the SSERVI appointment; 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 | 40 minutes 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

Advancing Impact Monitoring in the Era of LSST, NEO Surveyor, and ADES

National Aeronautics and Space Administration (NASA) | Pasadena, California | United States | 38 minutes ago

and accurate orbit determination and hazard assessment methods. Research will center on: (1) developing new observation weighting schemes that exploit the expanded metadata available in the Astrometry

A Next-Generation Wildfire Risk Assessment System: Integrating Satellite Data with Deep Learning Insights

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

wildland-urban interfaces— across a wide range of climate conditions. Using machine learning methods, we will optimize the weightings of each contributing factor and identify the key drivers of wildfire risk

NASA Foundation Models for Earth Science (Ecosystems, Biodiversity, Environmental Variable Downscaling)

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

development of advanced statistical methods (e.g., AI/ML) in recent years. These foundation models represent significant advances in the field of modeling and computer science. The challenge today is to explore

Remote Sensing from Space: NASA Biodiversity and Ecological Conservation Opportunity with the NASA Earth eXchange (NEX)

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

from multiple methods and developing cross-sensor capabilities (e.g., combining SAR and hyperspectral) will be essential for deriving meaningful insights for biodiversity and ecological conservation