Riverside Research is an independent National Security Nonprofit dedicated to research and development in the national interest. We provide high-end technical services, research and development, and prototype solutions to some of the country’s most challenging technical problems. All Riverside Research opportunities require U.S. Citizenship. The Secure and Resilient Systems group seeks a Research Scientist – Formal Methods to support research and development of cutting-edge formal methods applied to software systems. The Research Scientist will support a team that invents, prototypes, and evaluates new formal methods and software security approaches throughout the systems software stack. …
See the full posting and apply
The rest of the description, the direct apply link, your match score, a tailored resume and the recruiters to message all come with internOS Pro. 3 days free, then $10/month. Cancel anytime.