Top
Company Overview
Galois is a leading technology company with a mission to foster trustworthiness in critical systems. We specialize in transforming innovative ideas into tangible solutions through advanced research and skilled engineering. Our company collaborates with both government and industry partners to develop groundbreaking technologies that have a profound impact on society, particularly in the realms of privacy, security, and safety.
At Galois, we pride ourselves on being pioneers in our field. We are constantly pushing the boundaries of what is possible and challenging conventional thinking in order to create truly groundbreaking solutions. Our team of experts is dedicated to staying at the forefront of technological advancements and utilizing cutting-edge techniques to solve complex problems.
Our company has a strong track record of success, with a proven history of delivering reliable and secure systems for our clients. We have a deep understanding of the unique challenges faced by critical systems and are committed to providing solutions that meet the highest standards of trustworthiness.
Galois is passionate about making a positive impact on society. We believe that our work in the areas of privacy, security, and safety has the power to improve and protect the lives of individuals around the world. Our team is driven by a shared sense of purpose and a desire to make a real difference through our work.
Our company culture is built on a foundation of collaboration, integrity, and excellence. We foster an environment where diverse perspectives are valued and creativity is encouraged. Our employees are our greatest asset, and we invest in their growth and development in order to maintain our position as a leader in the industry.
Industry:
IT/Computers - Software & Software Services
Headquarter:
Portland, OR, USA 97204
Company size:
51-200 Employees
Established Year:
1999
Career opportunities at Galois
Galois
10 - 11 yrs
Arlington, VA, USA
Keyskills :
Construction , Analysis , Awareness , Briefings , Classification , Clearance , Communication , Compliance , Computer Science , Consistent , Control Plan , Coordination , Corporate Security , Design , Documentation , Employee Stock Ownership Plan , Encourage , Equal Employment Opportunity , Facility Security , Government Management , Highly Organized , Inclusive , Information Operations , Information Security , Innovation , Insurance , Learning , Management , Mental Health , Multitasking , Organizational Structure , Orientation , Ownership , Physical Security , Pre-Employment Testing , Receiving , Reimbursement , Reporting , Risk Mitigation , Science , Security , Security Clearance , Security Compliance , Security Management , Selection Process , Sensitive , State Laws , Technology Control , Time Management , Training , Visitor Management , Industrial Security
Designation:
N/A
Job Description:
About Galois Galois tackles the hardest problems in computer science. Our mission is to assure trust in critical systems that protect the privacy and integrity of information in the real world. ?Core to? ?this? ?is? ?the? ?application? ?of? ?formal? ?analy…
Galois
0 - 0 yrs
Portland, OR, USA
Keyskills :
Architecture , Algorithms , Analysis , Assurance , Clearance , Collaborative Environment , Computer Science , Consistent , Design , Development , Electrical Engineering , Employee Stock Ownership Plan , Encourage , Equal Employment Opportunity , Formal Verification , Implementation , Inclusive , Infrastructure , Infrastructure Development , Innovation , Insurance , Learning , Mathematics , MATLAB , Mental Health , Organizational Structure , Orientation , Ownership , Pre-Employment Testing , Presentation , Programming Language , Prototype , Quality Goals , Rapport , Reasoning , Regression , Reimbursement , Research , Robustness , Rust , Science , Security , Security Clearance , Selection Process , Simulink , State Laws , Static Analysis , Trustworthy , Validation , Willing to learn
Designation:
N/A
Job Description:
About Galois Galois tackles the hardest problems in computer science. Our mission is to assure trust in critical systems that protect the privacy and integrity of information in the real world. ?Core to? ?this? ?is? ?the? ?application? ?of? ?formal analysi…
Galois
0 - 0 yrs
Portland, OR, USA
Keyskills :
Architecture , Analysis , Assurance , Clearance , Collaborative Environment , Computer Science , Consistent , Design , Development , Employee Stock Ownership Plan , Encourage , Equal Employment Opportunity , Formal Verification , Functional Programming , Hardware Engineering , Haskell , Implementation , Inclusive , Infrastructure , Infrastructure Development , Innovation , Insurance , Learning , Mental Health , Model Based Systems Engineering , Organizational Structure , Orientation , Ownership , Pre-Employment Testing , Presentation , Program Analysis , Programming Language , Quality Goals , Rapport , Reasoning , Regression , Reimbursement , Research , Robustness , Science , Security , Security Clearance , Selection Process , Software Engineering , State Laws , SystemVerilog , Validation , Verilog
Designation:
N/A
Job Description:
About Galois Galois tackles the hardest problems in computer science. Our mission is to assure trust in critical systems that protect the privacy and integrity of information in the real world. ?Core to? ?this? ?is? ?the? ?application? ?of? ?formal? ?analy…
Galois
0 - yrs
Arlington, VA, USA
Keyskills :
N/A
Designation:
N/A
Job Description:
About Galois: Galois tackles the hardest problems in computer science. Our mission is to assure trust in critical systems that protect the privacy and integrity of information in the real world.Core to this is the application of formal analysis techni…
Galois
0 - 0 yrs
Dayton, OH, USA
Keyskills :
Architecture , Cryptography , Analysis , Assurance , Clearance , Collaborative Environment , Computer Engineering , Computer Science , Consistent , Design , Development , Electrical Engineering , Employee Stock Ownership Plan , Encourage , Equal Employment Opportunity , Fluency , Formal Verification , Hardware Engineering , Hardware Security , Implementation , Inclusive , Infrastructure , Infrastructure Development , Innovation , Insurance , Learning , Mathematics , Mental Health , Organizational Structure , Orientation , Ownership , Practical , Pre-Employment Testing , Presentation , Program Analysis , Quality Goals , Rapport , Reasoning , Refining , Regression , Reimbursement , Research , Reverse Engineering , Robustness , Science , Security , Selection Process , State Laws , Validation
Designation:
N/A
Job Description:
About Galois Galois tackles the hardest problems in computer science. Our mission is to assure trust in critical systems that protect the privacy and integrity of information in the real world. ?Core to? ?this? ?is? ?the? ?application? ?of? ?formal? ?analy…
Galois
0 - 0 yrs
Portland, OR, USA
Keyskills :
Architecture , Python , Algorithms , Construction , Algorithm , Algorithm Design , Analysis , Assurance , Collaborative Environment , Computer Science , Consistent , Data Science , Demonstration , Design , Design and Implementation , Development , Employee Stock Ownership Plan , Encourage , Equal Employment Opportunity , Implementation , Inclusive , Infrastructure , Infrastructure Development , Innovation , Insurance , Investigation , Learning , Machine Learning , Mental Health , Organizational Structure , Orientation , Ownership , Pre-Employment Testing , Presentation , Program Analysis , Programming Language , Quality Goals , Rapport , Reconstruction , Regression , Reimbursement , Research , Robustness , Science , Security , Selection Process , Sensitive , Software Engineering , State Laws , Statistical Analysis , Statistical Methods , Statistical Programming , Validation
Designation:
N/A
Job Description:
About Galois Galois tackles the hardest problems in computer science. Our mission is to assure trust in critical systems that protect the privacy and integrity of information in the real world. ?Core to? ?this? ?is? ?the? ?application? ?of? ?formal? ?analy…
Galois
0 - 0 yrs
Portland, OR, USA
Keyskills :
HTML , Software Development , GitHub , Networking , Algorithms , control system , Logistics , Analysis , Assurance , Collaborative Environment , Communication , Comprehensive , Computer Engineering , Computer Science , Computing , Consistent , Cryptographic Algorithms , Data Science , Design , Development , Documentation , Encourage , Equal Employment Opportunity , Formal Verification , Git , Haskell , Inclusive , Infrastructure , Infrastructure Development , Innovation , Learning , Machine Learning , Organizational Structure , Orientation , Pre-Employment Testing , Program Analysis , Realistic , Research , Science , Scientific Computing , Security , Selection Process , Software Engineering , State Laws , Transportation , Validation , Version Control , Virtualization , Writing , Written Communication
Designation:
N/A
Job Description:
About Galois Galois tackles the hardest problems in computer science. Our mission is to assure trust in critical systems that protect the privacy and integrity of information in the real world. Core to this is the application of formal analysis techniques …
Galois
0 - 0 yrs
Portland, OR, USA
Keyskills :
Customer Service , Account Administration , Clearance , Collaboration , Consistent , Employee Stock Ownership Plan , Encourage , Equal Employment Opportunity , Inclusive , Innovation , Insurance , Maintenance , Management , Mental Health , Network Administration , Orientation , Ownership , Pre-Employment Testing , Presentation , Quality Goals , Rapport , Reimbursement , Security , Security Clearance , Selection Process , State Laws , Support Services , Ticket Management , Tooling , Troubleshooting
Designation:
N/A
Job Description:
About This Role Galois is hiring an IT Support Specialist to join our team! This role will focus on supporting Galwegians across the organizations in developing and maintaining harmonious relationships with the systems and services provided by the IT team …
Galois
0 - 0 yrs
Portland, OR, USA
Keyskills :
Architecture , Analysis , Assurance , Collaborative Environment , Computer Science , Consistent , Design , Development , Employee Stock Ownership Plan , Encourage , Equal Employment Opportunity , Formal Verification , Functional Programming , Hardware Engineering , Haskell , Implementation , Inclusive , Infrastructure , Infrastructure Development , Innovation , Insurance , Learning , Mental Health , Model Based Systems Engineering , Organizational Structure , Orientation , Ownership , Pre-Employment Testing , Presentation , Program Analysis , Programming Language , Quality Goals , Rapport , Reasoning , Regression , Reimbursement , Research , Robustness , Science , Security , Selection Process , Software Engineering , State Laws , SystemVerilog , Validation , Verilog
Designation:
N/A
Job Description:
About Galois Galois tackles the hardest problems in computer science. Our mission is to assure trust in critical systems that protect the privacy and integrity of information in the real world. ?Core to? ?this? ?is? ?the? ?application? ?of? ?formal? ?analy…
