[isabelle] Postdocs in assurance research
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:
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
Please contact me directly if you have any questions,
- Iain Whiteside
This archive was generated by a fusion of
Pipermail (Mailman edition) and