[TYPES/announce] Postdocs in assurance research

[Ewen Denney]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180205/075ecc6e/attachment.html>