Riverside Research in the United States seeks a Research Scientist - Formal Methods to advance formal methods for software systems. The role includes prototyping, evaluating, and documenting new approaches across the systems software stack.
You will design innovative solutions, prototype features in projects like LLVM or CompCert, and contribute to papers while building tools in several languages. Strong CS fundamentals and U.S. citizenship required.
#J-18808-LjbffrResearch Scientist — Formal Methods for Secure Systems in lexington at Unknown Company
This position is listed as full time and onsite.