Job Title: NASA's Pathways Program Recent Graduate, Research Computer Scientist<https://www.usajobs.gov/GetJob/ViewDetails/351743700> https://www.usajobs.gov/GetJob/ViewDetails/351743700 Department: National Aeronautics and Space Administration Agency: Langley Research Center Job Announcement Number: LA13P0045<https://www.usajobs.gov/GetJob/ViewDetails/351743700> SALARY RANGE: $68,809.00 to $89,450.00 / Per Year OPEN PERIOD: Wednesday, September 18, 2013 to Wednesday, October 09, 2013 SERIES & GRADE: GS-1550-12 POSITION INFORMATION: Full Time - Recent Graduates PROMOTION POTENTIAL: 13 DUTY LOCATIONS: 1 vacancy in the following location: Hampton, VA WHO MAY APPLY: 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. JOB 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. 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. QUALIFICATIONS REQUIRED: 1) Be a U.S. citizen; 2) Be at least 16 years of age at the time of appointment; and 3) Have completed degree requirements within the last two years. If you are a veteran and did not complete degree requirements within the last two years, you must have been discharged or released from active duty military service within the last six years to be eligible. Must have completed all the requirements for a doctoral degree (PhD or equivalent) in computer science or computer engineering. Completion of all the requirements of PhD within 9 months of application is acceptable. SELECTIVE PLACEMENT FACTOR: To determine the highest qualified candidates a selective placement factor will be used. This position requires the incumbent to publish his/her professional research in computer science in professional scientific or engineering journals, therefore documentation of published research is a selective placement factor. Qualified candidates must list their publications in their resume to meet this factor. Invitations to present findings at professional conferences are considered equivalent to publications. Peer-reviewed publications should be annotated and publications listed in chronological order. [flyinghb3] VTVTVTVTVTVTVTVTVTVTVTVTVTVTVTVTVTVTVTVTVTVTVTVTVTVTVTVTVTVTVT Michael A. Chapman, P.E. Head, Technologies Application Branch - RD NASA Langley Research Center Michael.A.Chapman@xxxxxxxx<mailto:Michael.A.Chapman@xxxxxxxx> 757-864-4687 (w) 757-864-4799 (f) 757-827-9971 (h) VTVTVTVTVTVTVTVTVTVTVTVTVTVTVTVTVTVTVTVTVTVTVTVTVTVTVTVTVTVTVT "The Secret Of Your Future Is Hidden In Your Daily Routine" P Please consider the environment before printing this e-mail.