Jeremy Avigad (Apr 09 2021 at 00:44):
A friend brought this advertisement to my attention:
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?)
Jasmin Blanchette (Apr 09 2021 at 02:39):
A stream seems overdue!
Mario Carneiro (Apr 09 2021 at 03:17):
Last updated: May 08 2021 at 05:14 UTC