The Formal Methods team at NASA Langley Research Center, Hampton, Virginia, U.S., has opened the following positions (U.S. citizenship is required to apply). ANNOUNCEMENT NO: LA13D0064 POSITION: Research Computer Scientist, AST, Computer Research and Development, GS-1550-12/13, Promotion Potential GS-13 LOCATION: Org D320, Safety-Critical Avionics Systems Branch OPENING DATE: September 18, 2013 CLOSING DATE: October 09, 2013 AREA OF CONSIDERATION: This announcement is open to all qualified U.S. citizens. This position is located in the Safety-Critical Avionics Systems Branch within the Research Directorate. This position involves conducting research to develop formal verification methods for the analysis, design, and implementation of advanced future aircraft and spacecraft safety-critical systems. Additional details are available at the following websites prior to the closing date: http://www.usajobs.gov/GetJob/ViewDetails/351820600 *** ANNOUNCEMENT NO: LA13P0045 POSITION: NASA's Pathways Program Recent Graduate, Research Computer Scientist, GS-1550-12 Promotion Potential GS-13 LOCATION: D320, Safety-Critical Avionics Systems Branch OPENING DATE: September 18, 2013 CLOSING DATE: October 09, 2013 AREA OF CONSIDERATION: Current students from education institutions interested in paid opportunities with Federal agencies or recent Graduates from qualifying institutions within two years of degree or certification (Veterans precluded by their military service obligation, will have up to six years to apply) or Presidential Management Fellowships for individuals who have received a qualifying advanced degree within the preceding two years. This position is located in the Safety-Critical Avionics Systems Branch within the Research Directorate. This position involves conducting research to develop formal verification methods for the analysis, design, and implementation of advanced future aircraft and spacecraft safety-critical systems. Additional details are available at the following websites prior to theclosing date: http://www.usajobs.gov/GetJob/ViewDetails/351743700 *** For more information on NASA's application process, go to http://nasajobs.nasa.gov <http://nasajobs.nasa.gov/> <http://nasajobs.nasa.gov/> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]