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

A Next-Generation Wildfire Risk Assessment System: Integrating Satellite Data, Deep Learning, and Advanced Statistical Analytics

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

experience with advanced machine learning models. Specific expertise in ensemble methods, gradient boosting frameworks (like CatBoost or XGBoost), and neural networks is highly sought. Experience with

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 | 19 days 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 | 14 days 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

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

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

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 | 15 days 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