Job Overview

Summary

Are you thinking about the future? At NASA, we make the future happen. Become a part of the NASA team and develop job skills that could take you farther than you ever imagined. Start your career by building a bright future for yourself at NASA, recognized as one of the best places to work in the Federal government. The opportunities are "out of this world!"

NASA's Recent Graduates program provides an opportunity for individuals to gain experience in Federal civil service positions at the beginning of their careers. Participants are placed in a dynamic, one-year career development program which may include specialized training, formal rotational assignments, and other developmental activities. Participants who successfully complete the program may be converted to term or permanent positions.

This position will have the exciting opportunity to conduct research in the Safety-Critical Avionics Systems branch of the Research Directorate here at NASA Langley.

To receive consideration, you must submit a resume and answer NASA-specific questions. The NASA-specific questions appear after you submit your resume and are transferred to a NASA website. If you successfully apply, USAJobs will show your application status as "resume received complete" (if your status is "Application Started," you have not successfully applied.) Do not rely on a USAJOBS email to confirm successful application. Only an email from NASA confirms a successful application.

Announcement has been extended to 10/11/13 due to government furlough.

Duties

The Recent Graduates Program affords developmental experiences in the Federal Government intended to promote possible careers in the civil service to individuals who have recently graduated from qualifying educational institutions or programs. Successful applicants are placed in a dynamic developmental program with the potential to lead to a civil service career in the Federal Government.
This is a one year appointment in the excepted service which may lead, at the agency's discretion, to a term or permanent appointment in the competitive service.
This position will have the opportunity to conduct research to develop formal verification methods for the analysis, design and implementation of advanced air and space related safety-critical systems. The researcher will evaluate existing formal verification technology to determine the extent to which they can be applied to the analysis of safety-critical aerospace systems of interest to NASA. As part of a team he or she will develop and integrate innovative formal techniques and verification tools for the analysis, design and implementation of advanced digital systems and next generation operational concepts. The outcome of this research is expected to produce professional publications and/or formal presentations to professional societies. Duties require an understanding of mathematical logic, discrete and continuous mathematics, and formal methods in computer science.