[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]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
