[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We are seeking postdoctoral researchers to work in a small, agile team at NASA Ames Research Park in Silicon Valley on the multi-year QUASAR project (Quantifiable Assurance Cases for Trusted Autonomy), part of the US Defense Advanced Research Projects Agency (DARPA) Assured Autonomy research program. The successful candidates will undertake fundamental research into the foundations of ‘Dynamic Assurance Cases’ (DACs), which aim to provide quantified assurance of trustworthiness in the design and operation of learning-enabled autonomous systems. Individual positions are available on foundations, quantification, and assurance aspects for DACs: Foundations: http://www.sgt-inc.com/careers/career-opportunities/? p=job/o8YL6fwH&nl=1 Quantification: http://www.sgt-inc.com/careers/career-opportunities/? p=job/o6RM6fwz&nl=1 Assurance: http://www.sgt-inc.com/careers/career-opportunities/? p=job/oWRM6fwp&nl=1 The foundations postdoc, in particular, is relevant to TYPES as the research focuses on a mathematical characterization of DACs and formal verification of their operational semantics. In addition, developer positions are available for qualified software engineers: http://www.sgt-inc.com/careers/career-opportunities/?p=job%2FoSYL6fwr Please contact me directly if you have any questions, Ewen Denney