11 proof-checking-postdoc-computer-science-logic Postgraduate scholarships at Princeton University