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