Zulip Chat Archive

Stream: general

Topic: AFRL Postdoc in Formal Methods


view this post on Zulip Jeremy Avigad (Apr 09 2021 at 00:44):

A friend brought this advertisement to my attention:

https://nrc58.nas.edu/RAPLab10/Opportunity/Opportunity.aspx?LabCode=13&ROPCD=133010&RONum=C0399&ROBaseMode=R100

It's for a postdoc at the Air Force Research Laboratory, to work on formal methods for design and verification of autonomous systems. Unfortunately, it's only open to US citizens. But it would be a nice space for Lean to inhabit.

(I wonder, should we have a stream for job postings?)

view this post on Zulip Jasmin Blanchette (Apr 09 2021 at 02:39):

A stream seems overdue!

view this post on Zulip Mario Carneiro (Apr 09 2021 at 03:17):

#job postings


Last updated: May 08 2021 at 05:14 UTC