Riverside Research is seeking a junior research scientist to support R&D of cutting-edge security technologies to protect systems, networks, and data from advanced threats. Our goal is to get ahead and stay ahead of attackers in cost-effective ways. As a premier cyber research organization, we are committed to advancing the state of the art through sustained open source releases of our tooling (see some examples here: https://github.com/riversideresearch). We value our team culture of adaptability and experimentation in our research, delivery of capability to our customers, and technical excellence in all we do.

Our cyber research group includes four focus areas. Our Security Engineering team works to mature and transition cyber technology into the hands of the warfighter. Our Formal Methods team works to develop new techniques for formal verification and applies formal techniques to analyze the security of complex systems. Our System Security team develops new security technologies at the foundations of computing (operating systems, hypervisors, compilers, programming languages). Our Offensive Security team assesses the security of systems, developing novel ways to reuse, modify, and exploit technology. We’d love to hear which of these areas interests you most.