Intern, R&D Undergraduate Summer - Formal Methods Computer Science, Onsite

We are seeking a summer R&D undergraduate intern to help with our formal methods research and development. As an intern in Sandia's Digital Foundations and Mathematics Department, 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. Category Theory, Algebraic Geometry)
• Software development and modeling of embedded control systems

Due to the nature of the work, the selected applicant must be able to work onsite.

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.

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

• Currently attending and enrolled full time in the spring term immediately preceding the internship (or scheduled to graduate in the spring) in an accredited undergraduate program
• Pursuing a science, engineering, or math major
• Minimum cumulative GPA of 3.0/4.0
• Ability to work up to 40 hours per week during the summer
• Ability to secure and maintain a U.S. security clearance which requires U.S. citizenship

Note: If you have not earned a HS diploma or equivalent, please apply to a high school intern position.

• Majoring in Computer Science, Mathematics, Electrical Engineering, or other relevant field
• Strong technical skills including: Haskell/Coq/C programming skills and interest in OCaml, Scheme, Isabelle/HoL
• Experience in formal verification and systems programming
• Strong mathematical background in discrete mathematics
• Experience debugging software and knowledge of software engineering design principles
• Comfortable working in a collaborative environment as part of a team of engineers and researchers
• Excellent oral and written presentation skills
• Interest in, or experience with, conducting self-driven research

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.

Our department (Digital Foundations & Mathematics) develops and maintains multiple technical capabilities. We develop and apply tools for the formal verification of digital systems. We are always interested in candidates with cross-disciplinary skillsets who can contribute to one or more of our programs. The formal verification activities include formal methods analysis of hardware and software; modeling and simulation of digital or software systems; synthesis of hardware (digital logic) or software to meet formal specifications; binary analysis (developing a custom lifter capability); and development of specialized software utilizing advanced mathematics to meet customer needs. Our department consists mostly of researchers with backgrounds in computer science, mathematics, analysis of programming languages and domain specific languages, high-performance computing & physics. We collaborate and team closely with organizations across Sandia and a broad spectrum of external partners.

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 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 and amenities aimed at creating a solid work/life balance*

World-changing technologies. Life-changing careers. Learn more about Sandia at: http://www.sandia.gov

*These benefits vary by job classification.

Sandia is required by DOE to conduct a pre-employment drug test and background review that includes checks of personal references, credit, law enforcement records, and employment/education verifications. Applicants for employment need to be able to obtain and maintain a DOE Q-level security clearance, which requires U.S. citizenship. If you hold more than one citizenship (i.e., of the U.S. and another country), your ability to obtain a security clearance may be impacted.

Applicants offered employment with Sandia are subject to a federal background investigation to meet the requirements for access to classified information or matter if the duties of the position require a DOE security clearance. Substance abuse or illegal drug use, falsification of information, criminal activity, serious misconduct or other indicators of untrustworthiness can cause a clearance to be denied or terminated by DOE, resulting in the inability to perform the duties assigned and subsequent termination of employment.

All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, age, disability, or veteran status and any other protected class under state or federal law.

If you have a Medical Portable Electronic Device (MedPED), such as a pacemaker, defibrillator, drug-releasing pump, hearing aids, or diagnostic equipment and other equipment for measuring, monitoring, and recording body functions such as heartbeat and brain waves, if employed by Sandia National Laboratories you may be required to comply with NNSA security requirements for MedPEDs.

If you have a MedPED and you are selected for an on-site interview at Sandia National Laboratories, there may be additional steps necessary to ensure compliance with NNSA security requirements prior to the interview date.