Intern, R&D Graduate Year Round - Formal Methods, Remote

What Your Job Will Be Like

We are seeking a year-round, graduate level intern to help with our formal methods research and development. As an intern in Sandia's 8740 Group, you will help advance formal methods computer science projects under the direction of Sandia technical staff.

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 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

The selected applicant can be a remote worker located in any U.S. State or District of Columbia. Regular or periodic travel to your assigned work location may be required.

Salary Range

At Sandia, we value the important work done by our interns and its contribution to National Security. Because of this, our interns earn competitive pay rates. Our pay structure is based on earned credit hours, classification, and degree level. Your pay rate will be determined during the hire process and included in your offer package. You can view the Intern Pay Rate chart here.

Qualifications We Require

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

* U.S. citizens, legal permanent residents, asylees or refugees in the U.S.

Note:

If you have not yet started your graduate program, please apply to an undergraduate intern position.

Qualifications We Desire

* 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

Posting Duration

This posting will be open for application submissions for a minimum of seven (7) calendar days, including the 'posting date'. Sandia reserves the right to extend the posting date at any time.

About Our Team

The Cyber Systems Assessments department (8747) plays a pivotal role within the Cyber and Digital Assurance group, focusing on two essential capabilities: rigorous cyber experimentation and Nuclear Deterrence (ND) cyber research. We seek to deliver robust, science-driven understanding of complex, distributed cyber systems that are critical to national security.

Our cyber experimentation capability is characterized by advanced emulation, modeling, simulation, and analysis of cyber systems. Our experimental initiatives encompass a range of applications, including embedded control systems performing in hostile environments, operational resilience and security of power grids, and interactive gameplay. We research novel computing architectures, advanced emulation of mission designs and environments, and formal specification of system protections, thereby enhancing model-based design processes.

We provide timely and comprehensive technical evaluations for stockpile and modernization programs. In collaboration with the 8740 group, we assist in designing, developing, and deploying cyber-hardened digital systems tailored for Nuclear Deterrence and broader national security initiatives.

About Sandia

Sandia National Laboratories is the nation's premier science and engineering lab for national security and technology innovation, with teams of specialists focused on cutting-edge work in a broad array of areas. Some of the main reasons we love our jobs:

* Challenging work with amazing impact that contributes to security, peace, and freedom worldwide

* Extraordinary co-workers

* Some of the best tools, equipment, and research facilities in the world

* Career advancement and enrichment opportunities

* 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…