coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Postdocs in assurance research

From: Iain Whiteside <iain.j.whiteside AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] Postdocs in assurance research
Date: Tue, 06 Feb 2018 16:13:05 +0000
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=iain.j.whiteside AT gmail.com; spf=Pass smtp.mailfrom=iain.j.whiteside AT gmail.com; spf=None smtp.helo=postmaster AT mail-lf0-f46.google.com
Ironport-phdr: 9a23:bOrc0BNjf7GPhWpZ6Aol6mtUPXoX/o7sNwtQ0KIMzox0Lfr+rarrMEGX3/hxlliBBdydt6odzbKO+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxlViDanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPdeRWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbYUwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhSgINzA3/mLZhNFugq1Hux+uvQBzzpTObY2JKPZzfKXQds4aS2pbWcZRUjRMDICmYIsOCeoKIOZXr4n8p1sSsxS+HgisC/7xxTRVgXL23Lc10+UnEQ3c3gwsBdwPsHTVrNXpKqgSSuG1w7TWwjjYYPNW3C3y6InMchw7vf6MWrdwfNPXxEIyGQ3FiVCQppbkPzOTzukNqGeb7/Z5WeKujW4otxt9rSSoxscpjITCm4Ebykjc+Cln3Io4Ice0RU17bNK+DpdcqiGXO5F5T84jRWxjpTw0xaccuZGheSgH0JQnyADba/yAa4WI5wjsVOeVITthgHJldq6ziw+88UWvy+DwTMa00FFNripKltnDqGoB2ADU6siCUvd9/0Gh1iiT1w3L9O1IPUQ5mbDYJpMh2LI8iIcfvETZEiL5mUj6lKqWeV8l+uis5eTneLLmppqEOo91kA7+M6Iulta9AegiPAkOX2mb+fii2734/E32XatFg+Y5kqncqp/aJMAbqrSlDA9S14Yv8wy/ACu+0NQEgXkHK0pIdw6Aj4jwIl3BPPT4DeqkjFm3izdqx/XGPqX7DZnXL3jDlq3hfbdn5EJGxgoz14MX25UBAbYYZfn3R0XZtdrCDxZ/PRbn7fzgDYBc34IYEV2PA7OUK6LevBfc5+suJa+OIpAVuSrwMPkp6tbhiHY4nRkWeqz/jshfU2yxAvkzexbRWnHrmNpUST5b7Dp7d/TjjRi5aRAWYn+zW6wm4TRiUdCpCI7CQsamh7nThX7nTK0TXXhPDxW3KVmtb5+NAq5eZyebI8snmTsBB+D4Ft0RkCq2vQq/8IJJa+rZ/ipC6MDm3dlxoundzVQ8qWIyAMOa3GWACWpzmzFQSg==

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 researchers in the Coq community 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,

- Iain Whiteside

[Coq-Club] Postdocs in assurance research, Iain Whiteside, 02/06/2018