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

[email protected]

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

[email protected] 

------------------------------------------------------------------------------
DreamFactory - Open Source REST & JSON Services for HTML5 & Native Apps
OAuth, Users, Roles, SQL, NoSQL, BLOB Storage and External API Access
Free app hosting. Or install the open source package on any LAMP server.
Sign up and see examples for AngularJS, jQuery, Sencha Touch and Native!
http://pubads.g.doubleclick.net/gampad/clk?id=63469471&iu=/4140/ostg.clktrk
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info

Reply via email to