[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Two positions in formal methods at NASA (one postdoc, one research 
software engineer) are available on "Automating the Generation of 
Heterogeneous Aviation Safety Cases". The goal of the project is to 
develop formal techniques to develop safety cases for software-intensive 
systems looking, in particular, at combining evidence from a range of 
different sources.

Candidates should have experience in formal methods, software assurance 
techniques, theorem proving. Knowledge of aeronautics 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.

Reply via email to