Research Scientist – Cryptography w/ Formal Methods

Within Riverside Research, the Open Innovation Center (OIC) conducts internally funded and contract-funded R&D to develop technologies with lasting practical impact. The Secure and Resilient Systems (SRS) group within OIC focuses on rigorous approaches to building trustworthy computing systems. SRS seeks a Research Scientist – Cryptography with an interest in formal methods to develop, prototype, and evaluate new formal methods techniques for software and systems security. The researcher will contribute to a range of collaborative R&D projects, working with colleagues across formal methods, cryptography, programming languages, and systems software.