Apply on Employer Site

Riverside Research · 6 days ago

Research Scientist – Formal Methods

Lexington, MA

Full-time

Onsite

Entry, Mid Level

$72K/yr - $140K/yr

2+ years exp

Riverside Research is an independent National Security Nonprofit dedicated to research and development in the national interest. They are seeking a Research Scientist to support the development of formal methods applied to software systems, working on innovative solutions and collaborating with team members on complex technical challenges.

AssociationGovernmentInformation TechnologyMarket ResearchNon ProfitProfessional ServicesSecurity

Comp. & Benefits

No H1B

Security Clearance Required

U.S. Citizen Only

Responsibilities

Help the group design innovative solutions to customer problems related to formal methods and systems software

Prototype and evaluate features within large software projects such as LLVM or CompCert

Build new tools and/or capabilities in a range of relevant programming languages

Contribute to whitepapers and/or published papers that document innovative work preformed

Document and communicate design decisions, technical challenges, and progress to technical program leadership

Collaborate with team members on debugging programs, pair programming, reviewing papers/proposals, etc

Qualification

Formal methodsLow-level software CLow-level software assemblyProgramming languages theorySoftware development practicesResearch processCommunication skillsCreative skillsSelf-starterTime managementWritten communicationVerbal communicationCollaboration skills

Required

Bachelor's degree, preferably in a related technical field such as computer science, computer engineering, electrical engineering or cybersecurity

Familiarity with formal methods

Experience with low-level software including C and assembly code

Software development fundamentals for working inside a large project (e.g., submitting PRs, git branches/merges/rebasing, build systems, etc.)

Communication and creative skills to develop, prototype, benchmark, and document significant security features integrated into existing systems security technologies

Fluency in various programming languages, and strong background in programing languages, algorithms, and data structures fundamentals

Top Secret security clearance required

Preferred

2 years experience with masters or advanced degree in Computer Science or related field

Formal methods experience

Strong grasp of the research process (e.g., reading & writing academic papers, ideation for inventing solutions to hard problems)

Ability to operate independently with limited supervision and feedback, and establish a solid working relationship with peers in the group and across Riverside Research

Self-starter and ability to manage time and technical tasks independently without direct supervision

Superior written and verbal communications skills

Familiarity with seL4, LLVM, Rust or other cutting-edge system software languages and tools