21 proof-checking-postdoc-"https:" Postdoctoral research jobs