Formal Methods Research Intern: Secure Systems Verification

Riverside Research

Riverside Research in the United States seeks a Formal Methods Research Intern to support the specification and verification of systems-level software. You will work with a team of computer scientists and cybersecurity professionals on cutting-edge research initiatives.

This position focuses on establishing meaningful cyber and systems security properties, gaining hands-on experience with formal methods, and building skills in secure systems development using proof assistants and Rust/OCaml

#J-18808-Ljbffr

Apply

Vacancy posted 5 days ago

Similar jobs that could be interesting for youBased on the Formal Methods Research Intern: Secure Systems Verification in Lexington, MA vacancy

Research Engineer: Formal Methods & Verification
...Galois, Inc. is hiring a Software Engineer/Researcher to advance programming language theory research and verification. You will apply formal methods to ensure security and correctness of critical software and systems, collaborating with researchers and clients in a highly...
Suggested
Galois
Boston, MA
1 day ago
Systems Engineering Methods & Innovation Capability Chief Engineer
...strengthen national security, cybersecurity,... ...engineering, applied research, and advanced... ...and Engineering’s Systems Engineering Division... ...Systems Engineering Methods & Innovation... ...While this is not a formal people management... ...engage with MITRE's internal research and development...
Internship
Work experience placement
Local area
Mitre
Bedford, MA
2 days ago
Cybersecurity Researcher / Engineer: Secure Systems
The Secure Resilient Systems and Technology group advances cybersecurity research to address critical national security challenges.... ...modeling, applied cryptography, formal methods, and security evaluation.... ..., operating system internals, embedded systems security,...
Internship
Full time
Lincoln Laboratory
Lexington, MA
4 days ago
Research Software Engineer, Formal Methods (Hybrid)
$86.8k - $165.2k
...maintain a U.S. government issued security clearance is required. U.S.... ...and investments in research and development, we offer capabilities... ...Research Software Engineer, Formal Methods with strong software... ...resilience of large-scale dynamic systems. In this position, you will...
Suggested
Temporary work
Work experience placement
Work at office
Remote work
Flexible hours
Raytheon
Cambridge, MA
3 days ago
Cybersecurity Research Scientist / Engineer: Secure Systems
The Secure Resilient Systems and Technology group advances cybersecurity research to address critical national security challenges.... ...modeling, applied cryptography, formal methods, and security evaluation.... ..., operating system internals, embedded systems security,...
Suggested
Lincoln Laboratory
Lexington, MA
4 days ago
Formal Methods Research Engineer
...Galois, Inc. is seeking a Software Engineer/Researcher to advance programming language theory and formal verification. You will apply formal methods to prove security and correctness of software and systems for high-assurance applications. The role emphasizes collaboration...
Galois
Boston, MA
1 day ago
Computer Scientist - Systems Security Research Jobs
$95k - $200k
...Computer ScientistRiverside Research is an independent National Security Nonprofit dedicated to research and development... ...Research's Secure and Resilient Systems group seeks a Computer Scientist... ...with areas such as cryptography, formal methods, or reverse engineering is a plus...
Local area
ClearanceJobs
Lexington, MA
1 day ago
2027 Applied Science Internship - Automated Reasoning - United States, PhD Student Science Recruiting, Automated Reasoning
$135.66k
...Automated Reasoning and Formal Verification research horizon. Shape the... ...the way computer systems are developed and operated... ...raising the bar for security, durability,... ...develop and apply formal methods, automated reasoning... ...an Applied Science Intern, you will have the...
Internship
Relocation
Amazon
Boston, MA
3 days ago
Research Engineer Formal Methods
...trustworthiness of systems where failure is... ...a community of researchers engineers and operations... ...are built on a formal mathematical... ...to the design and verification of critical software... ...that enhance security reliability and operational... ...in Formal Methods and Programming...
Full time
Local area
Immediate start
Galois
Boston, MA
10 days ago
Physicist/Systems Analyst
...The Cyber-Physical Systems Group develops... ...The Group conducts research and development at... ...challenging national-security mission needs. A... ...rigorous technical methods to national-security... ...partners, and internal leaders to align priorities... ..., or other formal technical deliverables...
Lincoln Laboratory
Lexington, MA
4 days ago
Summer Research Program 2027, Graphic Artist Intern, ISR Systems Jobs
$32 - $34.5 per hour
...Summer Intern Graphic ArtistThe ISR Systems and Architectures group performs analysis and experimentation... ...communication (with scientists, technical researchers, and peers). The intern will work... ...and maintain a Secret level DoD security clearance. MIT Lincoln Laboratory is...
Internship
Hourly pay
Permanent employment
Summer work
Summer internship
Work at office
ClearanceJobs
Lexington, MA
4 days ago
Summer Research Program Intern 2027, Systems & Analysis (Group 1 Jobs
$32 - $34.5 per hour
...Summer Research Program InternThe Systems and Analysis group evaluates concepts vital to maintaining the technological... ...Overview As a summer intern, you will:Learn systems analysis skills... ...academic knowledge to real-world national security challenges while working alongside...
Internship
Hourly pay
Full time
Summer work
Summer internship
Local area
Relocation
Flexible hours
ClearanceJobs
Lexington, MA
2 days ago
Senior Firmware Security Researcher
...skills strengthen national security, cybersecurity, health, transportation... ...engineering, applied research, and advanced technology... ...the future.MITRE’s Electronic Systems Security department is seeking... ...federal, state, local or international law.MITRE intends to maintain...
Internship
Local area
3 days per week
Mitre
Bedford, MA
4 days ago
Associate Systems Engineer with Security Clearance
...skills strengthen national security, cybersecurity, health... ...engineering, applied research, and advanced... ...future. Job Overview The Systems Integration Department... ...modern Systems Engineering methods. Experience with multi... ..., state, local or international law. Accessibility MITRE...
Internship
Work experience placement
Local area
MITRE
Bedford, MA
3 days ago
RF Communications System Analyst-Technical Staff
$140k - $187k
...RF Communications System Analyst-Technical... ...experimentation to research, develop, characterize... ...’s national security mission. They prototype... ...partners, and internal leaders to align priorities... ...tools, processes, methods, documentation,... ..., or other formal technical deliverables...
MIT Lincoln Laboratory
Lexington, MA
8 hours ago
University - 2027 Summer Games Cyber Security Intern - Lexington, MA
$52.9k - $108k
...University - 2027 Summer Games Cyber Security Intern - Lexington, MA The Opportunity: The... ...Knowledge of Linux and Windows systems Ability to obtain a Secret clearance... ...will ask you to complete an identity verification process that leverages advanced biometrics...
Internship
Full time
Contract work
Part time
Summer work
Summer internship
Local area
Remote work
Worldwide
Booz Allen
Lexington, MA
4 days ago
Junior Research Scientist- Cybersecurity
$90k - $125k
...Overview Riverside Research is an independent National Security Nonprofit... ...technologies to protect systems, networks, and... ...warfighter. Our Formal Methods team works to... ...techniques for formal verification and applies... ...the broader group internally and externally...
Local area
Riverside Research Institute
Lexington, MA
5 days ago
Digital Asset Market Risk M&S Analyst
...skills strengthen national security, cybersecurity, health,... ...engineering, applied research, and advanced... ...modeling and simulation methods to complex, emerging financial systems. This work will support... ...federal, state, local or international law.MITRE intends to maintain...
Internship
Local area
3 days per week
Mitre
Bedford, MA
3 days ago
2027 Applied Science Internship - Recommender Systems/ Information Retrieval
$135.66k
...endeavor, pushing the boundaries of recommender systems and information retrieval. We're seeking brilliant minds to join us as interns and contribute to the development of... ...where you immerse yourself in groundbreaking research, exploring novel machine learning models for...
Internship
Full time
Worldwide
Relocation
Amazon
Boston, MA
1 day ago
System Integration Engineering
...strengthen national security, cybersecurity,... ..., applied research, and advanced technology... ...Engineering’s Systems Engineering Division... ...Applying modern methods and tools — such... ...proposed changes, and verification and test... ...state, local or international law.MITRE intends...
Internship
Work experience placement
Local area
Mitre
Bedford, MA
1 day ago
Wireless Communications Systems Engineer
...strengthen national security, cybersecurity,... ..., applied research, and advanced technology... ...communications systems in support of various... ..., and into verification.Experience in working... ...engineering methods including MBSE.Experience... ...state, local or international law.MITRE intends...
Internship
Local area
Mitre
Bedford, MA
4 days ago
Associate AI Research Engineer
...skills strengthen national security, cybersecurity, health... ...engineering, applied research, and advanced... ...increasing trust in AI-enabled systems, including data driven... ...and prototype new methods to address mission needs... ..., state, local or international law.MITRE intends to maintain...
Internship
Local area
3 days per week
Mitre
Bedford, MA
4 days ago
Space Systems Researcher / Engineer - Analysis and Test Group (Associate Staff)
The Space Systems Analysis and Test Group aims to solve our nation... ...most demanding space-related security challenges backed by validated... ...execute strategies to solve research questions. Guide and integrate... ...and education/training, internal equity considerations and applicable...
Lincoln Laboratory
Lexington, MA
4 days ago
Lead Systems Engineer
...strengthen national security, cybersecurity,... ..., applied research, and advanced technology... ...in the following Systems Engineering areas... ...Engineering methods to develop, evaluate... ...integration planning, verification, validation,... ...definition diagrams, internal block diagrams,...
Internship
Work experience placement
Local area
Mitre
Bedford, MA
3 days ago
Principal Systems Engineer
...strengthen national security, cybersecurity,... ..., applied research, and advanced technology... ...in the following Systems Engineering areas... ...Engineering methods to develop, evaluate... ...integration planning, verification, validation,... ...definition diagrams, internal block diagrams,...
Internship
Work experience placement
Local area
Mitre
Bedford, MA
1 day ago
Systems Engineering Analysis, Senior
...strengthen national security, cybersecurity,... ..., applied research, and advanced technology... ...in the following Systems Engineering areas... ...Engineering methods to develop, evaluate... ...integration planning, verification, validation,... ...definition diagrams, internal block diagrams,...
Internship
Work experience placement
Local area
Immediate start
Mitre
Bedford, MA
2 days ago
Mission Systems Engineer, Senior
...strengthen national security, cybersecurity,... ..., applied research, and advanced technology... ...(MTE) System Engineering Technical... ...plans, and analysis methods to evaluate system... ...quantification, model verification and validation,... ...state, local or international law.MITRE intends...
Internship
Local area
Mitre
Bedford, MA
4 days ago
Associate Systems Engineering
...strengthen national security, cybersecurity,... ..., applied research, and advanced technology... ...in the following Systems Engineering areas... ...Applying modern methods and tools such as... ...proposed changes, and verification and test... ...state, local or international law. MITRE intends...
Internship
Local area
The MITRE Corporation
Bedford, MA
5 days ago
Lead Wireless Communications Systems Engineer
...strengthen national security, cybersecurity,... ..., applied research, and advanced technology... ...communications systems in support of various... ..., and into verification. Experience in... ...system engineering methods including MBSE.... ...state, local or international law. MITRE intends...
Internship
Local area
The MITRE Corporation
Bedford, MA
4 days ago
Staff Scientist - Systems Analyst
The Homeland Protection Systems Group works with U.S. Government agencies... ...addressing emerging national security priorities in the homeland.... ..., multi-disciplinary team of researchers and engineers to inform the... ...and education/training, internal equity considerations and applicable...
Lincoln Laboratory
Lexington, MA
1 day ago

Do you want to receive more vacancies?

Subscribe and receive similar vacancies to Formal Methods Research Intern: Secure Systems Verification. Be the first to apply!