[TYPES/announce] Position in rigorous assurance at NASA

[Ewen Denney]

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.Denney at nasa.gov for further information.