ReconRobotics, Inc. & Galois, Inc. are teaming up to create a next-gen robot for SOCOM, using our Rigorous Digital Engineering (RDE) framework to model, analyze, and optimize the bot for security, modularity, and compliance with NIST cybersecurity and cyber survivability standards. Learn more in our latest video: https://lnkd.in/g8JmcC_b
Galois, Inc.
Software Development
Portland, OR 4,729 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 research engineers! Join Galois as a Research Engineer for a career marked by autonomy, innovation, and impact. Check out the job description in the comments, or give our video a watch to learn why our engineers describe Galois as “a Goldilocks place between academia and a giant tech company”: https://lnkd.in/g2U7jFk4
Life as a Galois Research Engineer
https://www.youtube.com/
-
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.
Life at Galois
https://www.youtube.com/
-
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