76 verification-computer-science-"LIST" Postdoctoral positions