[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 [email protected].
