Sandia
Livermore, CA
What Your Job Will Be Like We are seeking a year-round R&D graduate intern specializing in formal verification and formal methods. 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 floating-point numerical algorithms Software development and modeling of embedded control systems 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...