One of Galois’s core principles is “Seek joy at work.” While that may sound a little fuzzy, we define this principle as follows: “Work should be a source of deep satisfaction and meaning, a place where we can freely offer our skills and talents to the mutual benefit of Galois and ourselves.” One of the […]
At Galois, we have been experimenting with multiple Large Language Models (LLMs), including GPT-4. Part of the motivation for this is to continue increasing the accessibility and utility of our formal verification and software assurance tools. While these tools provide high assurance for critical software, they can require significant expertise or time to extract full […]
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 […]
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.