[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We are seeking a postdoctoral research software engineer to work in a
small team at NASA to support the development and maintenance of a
state-of-the-art, Eclipse-based toolset for the automated generation and
analysis of safety/assurance cases.
This toolset represents the state of the art in automation technologies
for assurance case development, providing novel
transformation capabilities besides required graphical editing features.
The application domain for this tool is safety and mission assurance of
complex aviation systems, such as unmanned aircraft, as well as airspace
systems. The successful candidate will be responsible for extending the
toolset to incorporate results from formal analyses and extending it
with more advanced capabilities.
This is an opportunity to be involved at the leading edge of safety and
software engineering for aerospace systems, as a member of a NASA
award-winning team. The role also has the potential to contribute to
technologies that will have a substantial impact on "hot topics" in
aviation, such as unmanned aircraft systems, autonomy, and airspace
system safety.
Candidates should have proficiency in Java, Eclipse Rich Client Platform
(RCP) and the Eclipse Modeling Framework (EMF, ECore), Eclipse plugin
structure and plugin development, and experience with the Eclipse
Graphical Editor Framework (GEF).
Knowledge of Eclipse Graphiti, software assurance techniques, and
experience developing tools for software engineering tasks such as
program analysis, test generation, and code generation would also be an
advantage.
Based at NASA Ames Research Center in Silicon Valley, California. US
permanent residence or citizenship preferred.
Openings are also available for postgrad summer internships.
Please contact ewen.den...@nasa.gov for further information.
