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:


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