83 verification-computer-science "LIST" Postdoctoral positions