[Caml-list] [fm-announcements] Formal Methods Position at NASA

[Caml-list] [fm-announcements] Formal Methods Position at NASA

[MUNOZ, CESAR (LARC-D320)]

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


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

fm-announcements-request@lists.nasa.gov

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

fm-announcements-owner@lists.nasa.gov