261 software-verification-computer-science positions at Baylor University