Formal method R&D internship at Sandia Labs

Stream: job postings

[Rob Lewis]

I was asked to pass along this internship posting at Sandia National Labs:

We are seeking a Intern - Formal Methods, R&D Undergrad Summer 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 any of the following activities:

• 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)
• Rigorous study of resilience of out of nominal systems
• Formal verification of floating-point numerical algorithms
• Applying formal methods to large scale, high performance computing codes

(Note: this is restricted to "U.S. citizen, asylee, refugee, or lawful permanent resident of the U.S.")

[Matthew Ballard]

Mathematics related to computer science (e.g., Logic, Category Theory, Algebraic Geometry)

:salute: