82 verification-computer-science "LIST" Postdoctoral positions