Email Gateway (Aug 22 2022 at 16:43): Email Gateway (Aug 22 2022 at 16:43):From: Iain Whiteside <iain.j.whiteside@gmail.com>
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 Isabelle proof
engineers as we anticipate extensive formal verification of the
mathematical characterization and operational semantics of DACs.
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,
Last updated: Apr 24 2024 at 20:16 UTC