Sandia National Laboratories · 4 days ago
Intern, R&D Graduate Year Round - Formal Methods, Remote
United States
Internship
Remote
InternSandia National Laboratories is the nation’s premier science and engineering lab for national security and technology innovation. They are seeking a graduate level intern to assist with formal methods research and development, contributing to various projects under the guidance of technical staff.
GovernmentInformation TechnologyNational Security
No H1B
U.S. Citizen Only
Responsibilities
Formal Systems Specification and Model Based Design
Formal verification of systems software (compilers and firmware) and hardware designs
Mathematics related to computer science (e.g., Logic, Category Theory, Algebraic Geometry)
Formal verification of cryptographic protocols
Software development and modeling of embedded control systems
Qualification
Required
Earned bachelor's degree
Currently attending and enrolled full time in an accredited science, engineering, or math graduate program
Minimum cumulative GPA of 3.0/4.0
Ability to work up to 30 hours per week during the academic year, and up to 40 hours per week during the summer
U.S. citizens, legal permanent residents, asylees or refugees in the U.S
Preferred
Electrical Engineering, Computer Engineering, Computer Science, Mathematics, or other STEM discipline
Experience using Lean and Coq proof assistant and related libraries ideally including at least one of: Compcert/Clight, VST, Iris
An understanding of Separation Logic
Strong technical skills, especially demonstrated expertise/skill in Coq or Lean
Some experience with Rust
Experience in at least one of the following programming languages: Haskell, OCaml, Scheme, C, Coq, Lean, Isabelle/HoL
Experience in formal verification, cryptography, and cryptographic security
Strong mathematical background in logic and discrete mathematics
Experience debugging software and knowledge of software engineering design principles
Applicants must be comfortable working in a collaborative environment as part of a team of engineers and researchers
Excellent oral and written presentation skills
The ideal candidate will have an interest in or experience with conducting self-driven research
Benefits
Flexible work arrangements for many positions include 9/80 (work 80 hours every two weeks, with every other Friday off) and 4/10 (work 4 ten-hour days each week) compressed workweeks, part-time work, and telecommuting (a mix of onsite work and working from home)
Generous vacation
Strong medical and other benefits
Competitive 401k
Learning opportunities
Relocation assistance
Amenities aimed at creating a solid work/life balance
Company
Sandia National Laboratories
Sandia is a conducts research and development into the non-nuclear components of nuclear weapons.
Founded in 1945
10001+ employees
Funding
Current Stage
Late StageTotal Funding
$4.4MKey Investors
US Department of EnergyARPA-E
2023-09-21Grant· $0.5M
2023-07-27Grant
2023-01-10Grant· $3.7M
Leadership Team
Laura McGill
Deputy Laboratories Director - Nuclear Deterrence, and Chief Technology Officer
Maria Gallardo
CFO Enterprise Risk Management Program Lead
Recent News
Inside HPC & AI News | High-Performance Computing & Artificial Intelligence
2026-01-13
2026-01-11
Inside HPC & AI News | High-Performance Computing & Artificial Intelligence
2026-01-09
Company data provided by crunchbase