[ The Types Forum (announcements only),
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
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.