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 from first principles, transparency, building deep trust, learning and innovating, and creating space for you to be authentically you. Our unique organizational structure enables us to adapt to the needs of the innovative projects we deliver.
We are employee-owned and aspire to provide employees with a sense of freedom to pursue passions in and out of work — whether it be opportunities to learn, career growth, a sense of community, or whatever else brings you value as a person.
Research Engineers at Galois design and develop advanced technologies for safety- and security-critical systems, networks, and applications. Engineers work in small team settings and must successfully interact with clients, partners, and other employees in a highly cooperative, collaborative, and intellectually challenging environment.
For more on our organizational structure, visit Life at Galois .
Galois is currently seeking students of computer science and related disciplines for our summer internship program. We are committed to matching interns with exciting and engaging research and engineering work that fits their particular interests, creating lasting value for interns, Galois, and our community. A Galois internship is a chance to tackle cutting-edge, meaningful problems in a uniquely collaborative environment with world-leading researchers.
Roles may include technology research and development, requirements gathering, software engineering, testing, formal verification, and infrastructure development. 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. We deeply believe in providing comprehensive support and mentorship to all of our employees. We provide our interns with an intern coach who regularly checks in to ensure that they feel welcome and engaged in the Galois community while gaining real value from their experiences. Important Information: Internships typically last 10 weeks, though internship periods are flexible. Please specify in your application the dates you are available.(the following skills are not required but may be relevant to a particular project):
For this opportunity, we prefer you relocate for the length of the internship to a Galois, Inc. office location in Arlington, VA, Minneapolis, MN, or Portland, OR. Remote work may be possible.
An internship is an opportunity for learning and growth as an engineer. To make the most of the opportunity, we ask that candidates have experience reading, writing, and maintaining code in a realistic project. Many university courses involve multi-week collaborative projects that provide this type of experience.
Many of our projects use programming languages with rich type systems (eg., Haskell, OCaml, Standard ML, Scala) and the git version control system. These tools aren’t often taught in computer science classes and experience with them is not a prerequisite for all internships but there are many free resources available that we recommend for learning:The internship is paid competitively, and, if located in an office, interns are provided with a housing stipend.
Our Portland office is located in the heart of downtown with multiple public transportation options available and world-class bicycle infrastructure. Our Arlington office is in the Ballston area and has great public transportation options as well. The Minneapolis office is centrally located near the riverfront and has metro rail, public transit, and biking options available, too.
Galois is an Equal Opportunity Employer and does not discriminate in employment opportunities or practices based on race, ethnicity, national origin, ancestry, color, sex, gender identity or expression, sexual orientation, marital or parental status, pregnancy or childbirth, disability, age, religion, creed, genetic information, veteran status, or any other characteristic protected by applicable federal, state, or local law. We encourage and respect different viewpoints and experiences as being essential to the process of innovation. We strive to acquire, grow, and maintain a diverse and inclusive workplace that applies principles and standards equitably while supporting the needs and accommodations of the individual employee.
Consistent with the Americans with Disabilities Act (ADA) and federal and state laws, it is the policy of Galois, Inc. to provide reasonable accommodation when requested by a qualified applicant or employee with a disability, unless such accommodation would cause an undue hardship. If you require reasonable accommodation in completing the employment application, interviewing, completing any pre-employment testing, or otherwise participating in the employee selection process, please contact peopleoperations@galois.com.
Twenix offers 26 minute online classes to business professionals. With its flexible schedule and no minimum teaching hours, you can decide how much or little you want to work when... ...even their wildest expectations in English. What makes us stand out? Teach & Earn...
...School diploma plus two years of college coursework (associates degree) OR equivalent years of experience Three years related work... ...Proficient in Microsoft Office Suite Preferred Qualifications: Bachelors degree Experience in higher education Physical...
...self-driven individual with a love for travel? We're looking for dynamic candidates to... ...webinars Booking online domestic and international travel packages, including cruises, hotels... ...A no-sales-quota environment Skills Required: Self-motivation Organizational and...
...its mortgage and title subsidiaries. Please visit our website at for more information. D.R. Horton, Inc. is currently looking for a CMS Web Developer for their Corporate Marketing Department. The right candidate will providedevelopment in the area of Sitecore Content...
...of joy in our Caribou kiosk. This is a part-time position and you will have the opportunity... ....We are looking for individuals with WEEKEND AVAILABILITY - both day and night . No... ...Vision Insurance # Aflac # Paid Time Off Additional Full-time staff benefits...