Software Engineering Research Intern (Summer 2025)

We are grateful to receive a high volume of interested candidates for our internships. This means it may take us a bit longer than normal to respond to each application. We are committed to following up individually with each candidate - thank you for your patience!

About Galois

Galois tackles the hardest problems in computer science. Our mission is to assure trust in critical systems that protect the privacy and integrity of information in the real world.  Core to this is the application of formal analysis techniques that allow systems to be modeled, analyzed, and mathematically proven correct to ensure that a system behaves exactly as we intend under all circumstances.

We are a community of researchers, engineers, and operations people who are dedicated to creating trustworthiness in critical systems in every functional area of the organization. Our organization is highly collaborative, and we pursue working...