Galois’s mission is to help make the critical systems that the world relies on more secure and trustworthy. Over the years, we’ve put our team’s deep expertise in software correctness, cryptography, digital engineering, and machine learning to work, providing formal assurance for complex systems in high stakes contexts for both government and commercial clients. From […]
In June 2023, Galois officially became 100% employee-owned—realizing a vision 10 years in the making. This significant milestone was made possible through our Employee Stock Ownership Plan (ESOP), introduced in 2013 after Galois’s founder John Launchbury learned of ESOPs’ benefits during his “Blue Sky”[1] time, then introduced it to Galois as part of his long […]
Galois is full of fascinating people with remarkable stories. In addition to being research engineers building tools for space exploration, mathematicians writing proofs to secure some of the world’s most valuable data, and spreadsheet wizards managing complex projects, we are musicians and artists, mountaineers and spelunkers, philosophers and flower farmers. Every once in a while, […]
This week, Galwegians from across the country gathered to celebrate the grand opening of our new office in Minneapolis. The festivities included an open house of the new office space; a walking tour of the city; a double feature of Wallace and Gromit: The Wrong Trousers and Crouching Tiger, Hidden Dragon at the Parkway Theater […]
There has been a lot of chatter recently about large language models, including GPT-4 and LLaMa. At Galois, we have been experimenting with GPT-4, the most capable available large language model. One group of intriguing results that I am excited to present is in the creation of SAWScript memory safety proofs. Using a very simple […]
While most engineers and scientists join Galois to be part of a company that conducts groundbreaking research, for our unique culture of collaboration, or for the great benefits and work-life balance, there’s a lesser-known but equally exciting perk of working at Galois: participating in the creation of spinouts. Throughout my time as a research engineer […]
Though known as a technology research firm, Galois values creating more than just great research. Throughout our history, our scientists and engineers have developed new technologies, built new tools, and made discoveries that provoke a “tail” of downstream opportunity. Over and over again, rather than becoming a software company focused on those downstream opportunities, we […]
Every year, college seniors in the Electrical and Computer Engineering (ECE) program at Portland State University (PSU) and the computer science program at North Dakota State University (NDSU) are required to participate in a capstone project. These initiatives pair teams of students with local or regional companies to work on industry-relevant projects and give students […]
I recently had the opportunity to give a talk at the 2023 GHC Contributors’ Workshop, held at the Rapperswil-Jona campus of the Eastern Switzerland University of Applied Sciences (OST). The aim of this workshop was to help people learn how to work on the Glasgow Haskell Compiler (GHC), understand its internals better, and ultimately, increase […]
Digital engineering (DE) is gaining momentum as the system engineering community matures practices and tooling. In its present avatar, DE workflows and tools rely on MBSE (Model-Based Systems Engineering) for developing and maintaining digital system artifacts and keeping these artifacts in sync during all phases of the system. This is presently achieved via descriptive models […]
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.