Apply on Employer Site

Sandia National Laboratories · 11 hours ago

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

Livermore, CA

Internship

Onsite

Intern

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. They are seeking a summer R&D undergraduate intern to assist with formal methods projects, contributing to various research and development activities under the guidance of technical staff.

GovernmentInformation TechnologyNational Security

Growth Opportunities

No H1B

Security Clearance Required

U.S. Citizen Only

Responsibilities

Help with formal methods research and development

Contribute to Formal Systems Specification and Model Based Design

Perform formal verification of systems software and hardware designs

Work on mathematics related to computer science

Engage in software development and modeling of embedded control systems

Qualification

Formal verificationHaskellC programmingMathematics backgroundSoftware engineering principlesSelf-driven researchCollaborative environmentPresentation skills

Required

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

Preferred

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

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