<div dir="ltr"><span style="color:rgb(0,0,0)">The Stanford Center for AI Safety is sponsoring a new postdoctoral fellowship position for Fall 2021.  </span>Topics of interest include formal methods applied to AI systems.  <span style="color:rgb(0,0,0)">Details can be found on the center's website at </span><a href="http://aisafety.stanford.edu/" target="_blank">aisafety.stanford.edu</a>.<span style="color:rgb(0,0,0)"></span><div><br></div><div>Clark Barrett</div><div>Co-director, Stanford Center for AI Safety</div><div><br></div></div>