LIFE as a GALOIS

INTERN

A Galois internship is a chance to tackle cutting-edge, meaningful problems in a uniquely collaborative environment with world-leading researchers, and we are committed to matching interns with exciting and engaging engineering work that fits their particular interests, and creating lasting value for interns, Galois, and our community.

Past interns have integrated formal methods tools into larger projects, built comprehensive validation suites, synthesized high-performance cryptographic algorithms, written autopilots for quad-copters, designed the syntax and semantics of scripting languages, and researched type system extensions for academic publication.