76 verification-computer-science "LIST" Postdoctoral positions