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

Cross-scale thermal remote sensing of biospheric function

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

code versioning software such as GitHub. The position is expected to lead to peer-reviewed publications and presentations at major scientific conferences. Point of Contact Mikeala Eligibility

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

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

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

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

Planetary Orbits, Rotation and Gravity Fields

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

of the solar system. Candidates should have a PhD in a relevant field and have experience with dynamical modeling and/or radio measurement processing. The successful candidate will work with members

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

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