Galois, Inc. Jobs in United States

About Galois Inc. · Our Mission · We develop technology that guarantees trustworthiness. · ...

+Design advanced technologies for safety- critical systems networks and applications. · +Work in small team settings interact with clients partners and employees in a highly cooperative collaborative intellectually challenging environment. · +Use formal methods to conduct rigorou ...

Galois is hiring a Software Engineer/Researcher to join our team This role will primarily focus on advancing the state of the art in programming language theory research and implementation. · ...

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. · ...

We're not actively hiring for this role but expect to open several Principal Scientist positions in early 2027. We'd love to start building relationships with people who may be a great match for future opportunities. · Program Development: Develop and lead an externally funded re ...

About This Role · We are seeking researchers/engineers with embedded systems and software assurance expertise to perform research on embedded systems. · As a Research Engineer, you will gather requirements from clients through iterative discussions. · ...

Principal Scientist at Galois drives research agenda and develops R&D opportunities in formal methods and one or more of four Research Areas: Rigorous Digital Engineering Artificial Intelligence Machine Learning Data Science Software & Systems Analysis Advanced Cryptography Priva ...

About this Role · Principal Scientists drive research agendas & develop R&D opportunities at Formal Methods' intersection with our four Research Areas. · Rigorous Digital Engineering · Artificial Intelligence, Machine Learning,& Data Science · Software & Systems Analysis · Advanc ...

We're not actively hiring for this role, but we expect to open several Principal Scientist positions in early 2027. · ...

At Galois, we're looking for a Principal Scientist to drive research and development in formal methods and one or more of our four Research Areas: Rigorous Digital Engineering, Artificial Intelligence, Machine Learning, and Data Science; Software & Systems Analysis; Advanced Cryp ...

+ Embedded systems software engineer position at Galois. · We are currently seeking researchers/engineers with embedded systems and software assurance expertise to perform research on embedded systems. Software assurance is pivotal in fulfilling our mission to make critical syste ...

Embedded Systems Research Engineer · We are seeking a skilled Research Engineer with expertise in C, C++, and Rust. · The ideal candidate will possess a BS degree in relevant fields such as computer science or related engineering disciplines. · ...

Galois is hiring a Business Development Leader who will engage directly with government and industry clients and collaborate with multidisciplinary teams to translate Galois's research into deployable solutions that solve real-world challenges. · ...

We expect to open several Principal Scientist positions in early 2027. · Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable. · ...

We're looking for Principal Scientists to drive research agendas and develop R&D opportunities at the intersection of Formal Methods and one or more of our four Research Areas. · ...

We are seeking researchers/engineers with embedded systems and software assurance expertise to perform research on embedded systems.Requirements gathering: Engaging the client in a series of discussions... · Software Assurance: use mechanical reasoning tools... · ...