Intern, R&D Graduate Summer - Formal Methods Computer Science, CA Hybrid

What Your Job Will Be Like:We are seeking a summer, graduate level 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:Work in a hybrid remote position with potential planned visits to site in Livermore CaliforniaFormal Systems Specification and Model Based DesignFormal verification of systems software (compilers and firmware) and hardware designsMathematics related to computer science (e.g., Logic, Category Theory, Algebraic Geometry)Rigorous study of resilience of out of nominal systemsFormal verification of floating-point numerical algorithmsApplying formal methods to large scale, high performance computing codes

What Your Job Will Be Like:We are seeking a summer, graduate level 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:

Want more jobs like this?GetjobsinLivermore, CAdelivered to your inbox every week.

Want more jobs like this?

GetjobsinLivermore, CAdelivered to your inbox every week.

Get Jobs