Qualifications
Required Qualifications
Enrolled in an undergraduate or graduate program in Computer Science, Computer Security, Formal Methods, Automated Reasoning, or related major
Ability to work collaboratively on speculative research projects
Experience with functional and imperative programming
Exposure to programming language concepts, definitions, and implementations (type systems, operational semantics, interpreters, compilers, etc.)
Exposure to Linux or Unix-like systems
Excellent written and verbal communication skills
Able to obtain a clearance in the future if needed.
Desired Qualifications
Experience with Rocq, Lean, or similar proof assistant
Exposure to the Rust programming language
Exposure to proof techniques (progress and preservation, logical relations, separation logic, refinement, translation validation, symbolic execution, etc.)
Foundational knowledge of cybersecurity principles (non-interference, robust property preservation, etc.)
Experience with version control or other software collaboration tools
Superior written and verbal communication skills
- Global Comp
- $25.00/hr- $35.00 This represents the typical compensation range for this position based on experience, location and other factors.
Closing Statement Riverside Research Institute is a not-for-profit, technology-oriented defense company, where service to our customers and support of our staff is our overall mission. Riverside is an affirmative action-equal opportunity employer and complies with all applicable federal, state, and local laws regarding recruitment and hiring. Riverside offers comprehensive compensation and benefit packages to our employees. Riverside bases its employment decisions solely on technical experience, qualifications and other job-related criteria related to our organizational purpose as a not-for-profit company, and without regard to race, color, religion, age, sex marital status, sexual orientation, national origin, physical or mental disability, veteran’s status or any other status legally protected by applicable federal, state, and local law.
