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.
Galois, Inc.
Software Development
Portland, OR 4,711 followers
Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable.
About us
Galois’ mission is to create trustworthiness in critical systems. We’re in the business of taking blue-sky ideas and turning them into real-world technology solutions, through cutting-edge research and expert engineering. Galois works with government and industry to develop technologies that have a significant impact on society in areas of privacy, security, and safety.
- Website
-
https://galois.com
External link for Galois, Inc.
- Industry
- Software Development
- Company size
- 51-200 employees
- Headquarters
- Portland, OR
- Type
- Privately Held
- Founded
- 1999
- Specialties
- high assurance software, formal methods, functional programming, software security, and machine learning
Locations
-
Primary
421 SW 6th Ave. Suite 300
Portland, OR 97204, US
Employees at Galois, Inc.
Updates
-
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
Life as a Galois Principal Scientist
https://www.youtube.com/
-
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
Employee Stock Ownership Plan (ESOP)
https://www.youtube.com/
-
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.
Galois Releases INDIGO to Improve Interoperability - Galois, Inc.
https://galois.com
-
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.
Generative AI for Specifications - Galois, Inc.
https://galois.com
-
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 Releases CAMET Base Pack 1.7.1 - Galois, Inc.
https://galois.com
-
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.
Galois Serves Space-BACN for Breakfast - Galois, Inc.
https://galois.com
-
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.
Q&A: AI/ML and the Privacy/Security Dilemma - Galois, Inc.
https://galois.com
-
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
#1: Jean Yang – Part 1: "Formal" Methods? How about "Business Casual" Methods?
https://www.youtube.com/