[TYPES/announce] Researcher position on assurance of autonomy

[Ewen Denney]

We have a some positions available at the NASA Ames Research Park in
California for a research project on assurance of autonomy.

We are interested in exploring type-theoretic approaches for the
well-formedness of assurance cases, as well as techniques such as
DSLs, bidirectional transformations, and ontologies.

Researcher:
https://kbr.wd5.myworkdayjobs.com/KBR_Careers/job/Moffett-Field/Researcher-in-Assurance-Foundations---DARPA-QUASAR-Project_R2006889

Developer:
https://kbr.wd5.myworkdayjobs.com/KBR_Careers/job/Moffett-Field/Software-Engineer---DARPA-Assured-Autonomy-Research-Program_R2006887

For further information, please contact ewendenney at ieee.org.