Intern, R&D Graduate Year Round

About the Role

We are seeking a year-round R&D graduate intern specializing in formal verification and formal methods.

Key Responsibilities

On any given day, you may contribute to activities in one or more of the following:

• Formal Systems Specification and Model Based Design
• Formal verification of systems software (compilers, firmware) and hardware designs
• Mathematics related to computer science (e.g., Logic, Category Theory, Algebraic Geometry)
• Formal verification of floating-point numerical algorithms
• Software development and modeling of embedded control systems

Requirements & Tech Stack

• This position does not currently require a Department of Energy (DOE) security clearance.
• Sandia will conduct a pre-employment drug test and background review.
• U.S. citizens, legal permanent residents, asylees or refugees in the U.S.

Qualifications

You bring the confidence and skills to be eligible for the job by meeting these minimum requirements:

• 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

Desired Qualifications

• Experience using Rocq (formerly Coq) proof assistant and related libraries ideally including at least one of: Compcert/Clight, VST, Coquelicot, Flocq, Mathematical Components
• An understanding of Separation Logic
• Strong technical skills, especially demonstrated expertise/skill in Rocq
• Experience in at least one of the following programming languages: Haskell, OCaml, Scheme, C, Rocq, Isabelle/HoL, Rust
• Experience in formal verification and systems programming
• Experience applying formal verification to evaluate numerical integration schemes
• Strong mathematical background in 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
• Experience with formal methods workflows which leverage AI while retaining soundness