49 formal-verification-computer-science research jobs