Logic List Mailing Archive

Research Computer Scientists in Formal Methods at NASA (U.S. citizenship required), Hampton VA (U.S.A.), Deadline: 9 Oct 2013

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