16 software-formal-method-phd Postdoctoral positions at National Aeronautics and Space Administration (NASA)

Earth Science: Climate

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

. Description: This opportunity is closed to applicants who are Senior Fellows (5-years or more past PhD). The climate program involves basic research on the nature of climate change and climatic processes

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

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 6 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

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 6 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

Computational design for spacecraft applications

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

PhD in a relevant field such as structural mechanics, heat transfer, numerical optimization, topology optimization, or lattice design. The postdoctoral scholar will be responsible for vigorously

Computational design for spacecraft applications

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

PhD in a relevant field such as structural mechanics, heat transfer, numerical optimization, topology optimization, or lattice design. The postdoctoral scholar will be responsible for vigorously

Organic Complexity Patterns for Life Detection

National Aeronautics and Space Administration (NASA) | Greenbelt, Maryland | United States | about 1 month 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

Ecosystem Structure and Function from the Fusion of Lidar, Hyperspectral, and Thermal Data

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

. Description: This opportunity is closed to applicants who are Senior Fellows (5-years or more past PhD). Remote sensing data provide essential information on the spatial and temporal variability in vegetation

Formation and evolution of galaxies and clusters: AGN feedback and the formation of multiphase gas

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

through detailed 3D simulations that require the development of new, sophisticate software and visualization techniques. The 3D simulations will allow a better understanding of the impact and the complex

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

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