NASA Postdoctoral Program Skip Navigation
Facebook Twitter Linked in
  • Home
    • About NPP
    • About USRA
    • FAQ
      • Applicant Information
      • Fellow Information
        • Test
    • Contact Information
  • To Apply
    • Application Information
    • Eligibility
    • Requirements
    • Select an Opportunity
    • Writing Your Proposal
    • Submitting Your Application
    • Review Process
    • Notification Process
  • NASA Centers
    • NASA Center Representatives
    • Ames Research Center
    • Armstrong Flight Research Center
    • Astrobiology
    • Goddard Space Flight Center
    • Goddard Institute for Space Studies
    • Glenn Research Center
    • Jet Propulsion Laboratory
    • Johnson Space Center
    • Kennedy Space Center
    • Langley Research Center
    • Marshall Space Flight Center
    • SSERVI
    • Stennis Space Center
    • Wallops Flight Facility
  • Opportunities
    • Find Opportunities
  • The Fellows
    • Current Fellow List
    • Former Fellows
  • Portals
    • Applicant
    • Fellow
    • Advisor
    • Reviewer
    • Admin
    • Center Rep
  • Policies and Procedures
    • Introduction
    • Notification and Terms of Appointment
    • Non-Employment Status
    • Conditions of Award
    • Access to NASA Facilities
    • Responsibility for Property and Equipment
    • Financial Support
    • Duplicate Receipt of Benefits Prohibited
    • Travel during Appointment
    • Health and Accident Insurance
    • Taxability of Stipends and Other Payments
    • Information for Non-U.S. Citizens
    • Reports and Publications Acknowledgement
    • Proposals
    • Required Reporting by Fellows
    • Research Data Agreement
    • Appointment Renewal
    • Resignation of Appointment
    • Disclaimer of Liability
  • Resources
    • Frequently Asked Questions
    • National Posdoctoral Association
    • Career Resources
      • AAS
      • AGU
      • Aeronautics
      • Astrobiology
      • Astro Job Rumor Mill
    • Helpdesk
    • Contact

NASA Postdoctoral Program Opportunities

Automated Software Engineering through Artificial Intelligence and Formal Methods

Opportunity ID 17508
Opportunity URL https://npp.usra.edu/opportunities/details/?ro=17508
Location Ames Research Center
Moffett Field, CA 94035
Field of Science Technology Development
Advisor Michael Lowry
650-604-3369
michael.r.lowry@nasa.gov

Citizenship Requirement
  • U.S. Citizens Accepted
  • Lawful Permanent Residents Accepted
  • Foreign Nationals 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: http://oiir.hq.nasa.gov/nasaecp/.
Description

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.

   




Back to NPP Opportunities
USRA logoCopyright © 2016 Universities Space Research Association - Contact Us - Sitemap - Terms of Use - Privacy Policy