Research Scientist - Formal Methods - Riverside Research Institute
Lexington, MA 02421
About the Job
The way we are securing computer systems is not working, come help us change the paradigm as we apply formal techniques to system security. Modern computing systems are complex. As scientists we deal with complexity by utilizing abstraction. Thus layered system architectures are the foundation of all modern computing systems. Yet these system layers can interact in ways that people who use them (and even the people who designed and built them) do not understand. This paves the way for attackers to exploit systems.
Riverside Research's Secure and Resilient Systems group is working to change this paradigm. We are developing new theories, techniques, and tooling to support scalable system security analysis using formal methods. If you have a background with existing formal methods tools like Coq, TLA+, EasyCrypt, and SMT solvers, F*, we would love to talk. This position can be in Lexington, MA or Dayton, OH.
Responsibilities:- Use formal methods to model complex systems
- Provide feedback to our tool development team on ways to make the tools we develop better
- Research new methods to make application of formal methods to systems we are analyzing better
- Build new formal methods tools
- Participate in relevant internal and customer meetings
Required Qualifications:
- Bachelor's degree in Computer Science, Computer Engineering, Electrical Engineering, or Cybersecurity and 8 years of relevant experience, 6 years and a Masters, or 3 years and a PhD.
- Prior experience with formal methods tools
- A deep technical understanding of cybersecurity problems and solutions
- Experience with modern software development tools and practices
- Self-starter and ability to manage time and technical tasks independently without direct supervision
Desired Qualifications:
- MS or PhD degree in related technical field
- Experience with cryptography and formal methods applied to cryptography
- Experience writing peer-reviewed technical papers
- Experience giving presentations to technical peers and leaders