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

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

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

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

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

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

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

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

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

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

Earth Science: Climate

National Aeronautics and Space Administration (NASA) | New York City, New York | United States | about 2 months ago

interactions, ocean processes, ocean-atmosphere interactions, and ice sheet-climate interactions as well as investigations of more accurate numerical methods. Location: Goddard Institute for Space Studies New

Organic Complexity Patterns for Life Detection

National Aeronautics and Space Administration (NASA) | Greenbelt, Maryland | United States | about 2 months ago

for separation and purification. Specific research topics should address elements of the NASA Astrobiology Institute‘s roadmap, or supporting science for current and future missions, such as method development

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

National Aeronautics and Space Administration (NASA) | Fields Landing, California | United States | 23 days 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

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 2 months 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