Spinout Stories: MuseDev

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 […]

Read More

Spinning Out, Creating Impact

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 […]

Read More

Shaping Tomorrow’s Innovators

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 […]

Read More

Digital engineering -CPS Behavior Modeling and Beyond

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 […]

Read More

Galwegians reach a 20 year milestone!

We recently celebrated Jef Bell and Mark Tullsen, Galwegians who have worked with us for 20 years. For reference, Galois was founded in 1999, so a 20-year tenure is the bulk of our existence as a company! In addition to celebrating these wonderful humans, we wanted to take a moment to gain from their experience […]

Read More

Digitally Engineering Infinite Patient Trials

In prior posts, we’ve discussed techniques and benefits of digital engineering (DE) applied to system design, in particular hardware and software for cyber-physical systems (computer systems that interact with the real world). In this post we’ll simultaneously go big and small to present a case study in how formal methods + models can enable us […]

Read More

Securing Software Supply Chains with Zero Knowledge Proofs

Software supply chain attacks are on the rise, increasing a staggering 742% per year on average since 2019. Sometimes called “third party attacks,” these cyberattacks infiltrate third party or open source software libraries with malicious code, infecting vendors and components along the software supply chain.  These days, any given software artifact may depend on hundreds […]

Read More

Can we digitally engineer expertise for the masses? 

Organizations seeking to integrate digital-first practices into their engineering processes often rapidly discover a common roadblock: critical dependencies on the individual expertise of specific employees embedded in legacy workflows. Discovering this issue has prompted some to ask what role might generative technologies play in supporting digital engineering transformation efforts: “Can they help us reduce reliance […]

Read More