[TYPES/announce] Postdoctoral position at Stanford Center for AI Safety

[Clark Barrett]

The Stanford Center for AI Safety is sponsoring a new postdoctoral
fellowship position for Fall 2021.  Topics of interest include formal
methods applied to AI systems.  Details can be found on the center's
website at aisafety.stanford.edu.

Clark Barrett
Co-director, Stanford Center for AI Safety
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210714/2e6a5dd2/attachment.htm>