[TYPES/announce] [fm-announcements] Formal Methods Positions at NASA Langley

MUNOZ, CESAR (LARC-D320) cesar.a.munoz at nasa.gov
Wed Nov 13 13:13:24 EST 2013


***
I apologize for reposting these announcements. Due to the government
shutdown, previous announcements have been cancelled and they are
being re-advertised; All applicants who applied under the previous
announcements must reapply to these announcements in order to be
considered.

Cesar 
***

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: LA14D0003
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
CLOSING DATE: November 20, 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:
https://www.usajobs.gov/GetJob/ViewDetails/354736700

***

ANNOUNCEMENT NO: LA14R0001
POSITION: NASA's Pathways Program Recent Graduate, Research Computer
Scientist, GS-1550-12 Promotion Potential GS-13
LOCATION: D320, Safety-Critical Avionics Systems Branch
CLOSING DATE: November 20, 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 the
closing date:
https://www.usajobs.gov/GetJob/ViewDetails/354673100

***

For more information on NASA's application process, go to
http://nasajobs.nasa.gov 

---
To opt-out from this mailing list, send an email to

fm-announcements-request at lists.nasa.gov

with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting

fm-announcements-owner at lists.nasa.gov 


More information about the Types-announce mailing list