Sandia
Livermore, CA, USA
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...