Formal Methods Research Intern

The Secure and Resilient Systems group seeks a Formal Methods Research Intern to support the specification and verification of systems-level software. This role offers the opportunity to work alongside a team of experienced computer scientists and cybersecurity professionals on cutting-edge research initiatives. This position will focus on establishing meaningful cyber and systems security properties. Throughout the internship, you will gain hands-on experience with and develop a deep understanding of formal methods, building valuable skills in secure systems development.