NASA Postdoctoral Program Opportunities

• U.S. Citizens Accepted
• Lawful Permanent Residents Accepted
• Foreign nationals who are in the U.S. at the time of application and on a valid J1 visa Accepted;
  Foreign nationals, asylees or refugees in the U.S. at the time of application with a valid EAD card and pending I-485 or I-589 forms Accepted.
  Applications with citizens from Designated Countries will not be accepted at this time, unless they are Legal Permanent Residents of the United States. A complete list of Designated Countries can be found at: https://www.nasa.gov/oiir/export-control.

Although software engineering accounts for an increasing portion of the global economy, methods for developing software remain labor-intensive and largely informal. Automation lags behind other engineering disciplines, and existing computer-assisted software engineering tools mostly address syntactic and structural aspects of software systems.

The Automated Software Engineering group is developing tools and environments for software engineering that address the semantic aspects of software systems. Our research is based on techniques from automated reasoning and knowledge representation, as well as on the formal mathematics of software engineering, with emphasis on automation. For example, we have developed innovative techniques for making theorem provers completely automatic in the context of program synthesis. Current projects include high-assurance, high-performance program synthesis; formal verification of software systems based on abstraction techniques and model checking; and developing environments for formal traceability from requirements through program execution.