Galois, Inc.

Galois is hiring for several Principal Scientist and Research Engineer roles! We are: - Employee-Owned - Science-Led - People First - Tackling some of the hardest puzzles in computer science - Shaping the future of trustworthy critical systems Want to learn more about life and culture at Galois? Check out our award-winning video below, or check out the job descriptions in the comments.

We're hiring! Join Galois as a Principal Scientist to drive an innovative research agenda at the cutting edge of CS, help shape the future of trustworthy critical systems, and be part of an employee-owned company that is science-led and people-first. Job description in the comments, or watch to learn more: https://lnkd.in/gvKZwzdQ

Imagine if engineers could iterate on UAV (or other Cyber-Physical System) designs as quickly and easily as gamers modify their cars in video games. With the ESSENCE Project, Galois brought that vision to life. Learn how in our latest article.

Galois is 100% employee-owned. That means: - Every Galwegian owns a piece of the company. Upon leaving, they receive cash in exchange for their portion of ownership - Collective participation in company success. When Galois does well, Galwegians do well - Every Galwegian has a voice in big company decisions Learn more about our Employee Stock Ownership Plan in our latest video: https://lnkd.in/gZFzCgYm

Galois this week announced the release of the new INDIGO tool to the CAMET Library. This model-based engineering (MBE) tool enables multidisciplinary engineers and scientists from different organizations to more easily locate information found in models and data sets that are distributed across organizations, captured using different modeling languages and tools, stored in different repositories, and accessed using different protocols. Learn more in our announcement article in the link.

Could a system leveraging generative AI technologies assist with specification? We are building tools and running experiments to find out. Read our latest to learn more.

This just in: CAMET keeps getting better. Curated Access to Model-based Engineering Tools (CAMET) Library Base Pack version 1.7.1 has been released.

Galois serves Space-BACN for breakfast. By which, of course, we mean revolutionizing the way space-based communications work by developing low-cost, high-speed reconfigurable optical datalinks to connect various low-earth orbit (LEO) constellations.

We recently sat down with Galois Principal Scientist David Darais, and Research Engineers Rawane Issa and Sourya Dey to discuss AI/ML challenges related to security and privacy, as well as the cryptographic techniques and research being done by Galois to mitigate these threats. Check out our Q&A to learn more.

We’ve recently republished our “Building Better Systems” Podcast (briefly lost to the digital void), and boy are there some gems in the backlog. For starters: this conversation with Jean Yang about Programming Languages, what makes API analysis an effective approach to finding critical issues in your systems, and what it takes to get a new company started. Check it out here: https://lnkd.in/gi3QqugF