Seeking AI/SE Computer Scientists for Software Synthesis/Formal Verification Projects

Job Description and Requirements

Due to the NASA reorganization, we will not be considering applications at this time.

The NASA Ames Research Center, located in the Silicon Valley area, is seeking computer scientists with a background in automated reasoning and/or formal methods, with an interest in software engineering applications. PhD or advanced research experience is highly desirable. The job is to participate in project-oriented research, technology development, and application development. Initial responsibilities will be commensurate with education and experience. The objective of the project is to develop technology for next-generation automatic programming systems and advanced software verification and validation systems using formal methods. This is an ongoing project under the leadership of Joseph Coughlan.

These positions are full-time and long-term with significant growth potential. The initial responsibilities and salary are well suited to candidates with a recent PhD, or one obtained within the last ten years. The ideal candidate will have skills both in basic research and application development, and be able to fluidly use both in leading-edge projects. Interpersonal and communication skills, both verbal and written, are also important.

The project is oriented to strategic research - that is, focused research whose target is the 5 to 15 year application time horizon. Strategic research differs from applied research in this extended time horizon- the objective is to develop fundamentally new technology, rather than just apply existing technology. Strategic research also differs from pure basic research in being focused, project-oriented, and team-oriented.

The bulk of the work will be performed on site at NASA Ames Research Center in Silicon Valley (the south San Francisco bay area). The job also entails travel to other NASA centers.

Background
Information about our projects can be found here.

To Apply

Please send email of a cover-letter and resume or curriculum vitae (ASCII, Postscript, or PDF preferred) to both Joseph Coughlan and Thomas Pressburger at:

Joseph.C.Coughlan"at"nasa.gov

Tom.Pressburger"at"nasa.gov

Please include your country(ies) of citizenship, names and contact information for references, a description of previous research project and/or application development experience, and one or two recent papers (Postscript or PDF format preferred. Microsoft RTF, Framemaker MIF, or LaTex format acceptable only if files are completely standard and cross-platform compatible.)

If you are unable to send email, a hardcopy of this information can be mailed to:

Joseph C. Coughlan MS 269-3 NASA Ames Research Center Moffett Field, CA 94035

Last modified: Aug. 22, 2008 by Allen Dutra.