247 formal-verification-computer-science positions at Baylor University