Junior Research Scientist, Formal Methods & Systems

Riverside Research Institute seeks a Research Scientist specializing in formal methods to advance software-system verification. You will prototype and evaluate new formal-methods ideas, contribute to toolchains and papers, and collaborate across teams to push secure, robust system software.

The role requires a strong CS foundation, experience with language theory, and the ability to work on large, cross-disciplinary projects with potential security clearances.