[ 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.