Life as a Galois Research Engineer

The Sweet Spot Between Academia and a Giant Tech Company

At Galois, our Research Engineers take on diverse responsibilities spanning research, implementation, and technical leadership. We seek researchers and software engineers eager to build high-assurance systems and forge their own path in a world of fascinating puzzles and problems.

Research Areas

Cryptography: Advance the cryptography field through high-impact research like homomorphic encryption, post-quantum cryptography, and verifiable computation/zero knowledge proofs to enable trustworthy and private data analytics. The cryptography team collaborates across academia and industry to make encryption solutions usable, practical, and resilient against emerging threats.

Artificial Intelligence: Advance trustworthy AI, using techniques like formal verification of neural networks, type systems, and language-based security to ensure reliable and robust AI systems.

Formal Methods: Utilize mathematical techniques like formal logic, program semantics, and interactive theorem proving to precisely reason about critical system properties and prove program correctness

Programming Languages: Innovate new domain-specific languages like Cryptol (designed for implementing cryptographic algorithms) and apply advances in type theory, functional programming, and language-based security to enable correct-by-construction software.

Digital Engineering: Enable the meticulous definition of system components, their functions, and relationships within a complex safety-critical system, to create detailed models to explore how it works before a single physical component is manufactured or assembled. Toward this goal, we leverage applied formal methods, develop domain-specific languages, perform exhaustive testing, and build advanced analysis tools. We mathematically verify system properties, prove the absence of vulnerabilities, enable end-to-end digital assurance, and build innovative technologies across critical domains like aerospace, healthcare, and automotive.

The Galois Difference

Intellectual Curiosity Encouraged: Galois thrives on the thirst for knowledge. Here, curiosity is celebrated, and research engineers are empowered to follow their investigative spirit, exploring avenues that lead to both personal and communal breakthroughs.

Authenticity Celebrated: Your unique perspective is your strength, and at Galois, we embrace the diverse ideas and approaches that each Research Engineer brings to the table. You’re encouraged to be “authentically you,” driving innovation through your individual expertise and passions.

Freedom to Forge Your Path: Our “choose your own adventure” philosophy means you’re not boxed into narrow job descriptions or rigid career paths. Flex your creative muscles, indulge in diverse projects, and sculpt a career that reflects your aspirations.

Collaborative Web Structure: Designed to foster seamless collaboration, the Galois organizational structure—our “Collaborative Web”—is a testament to our commitment to teamwork without the drawbacks of traditional hierarchies. It’s about synergy, not titles.

Ownership and Voice: As an employee-owned company, every Research Engineer’s voice truly matters in decisions big and small, and your contributions directly influence our shared success.

Flexibility for Well-being: We understand that your best work is done when life’s puzzle pieces fit together. As a result, we champion work-life integration, offering flexible arrangements to balance professional excellence with personal well-being.

Continuous Learning Environment: With initiatives like regular tech talks, innovation sprints, and a generous professional development budget, Galois is committed to your growth as a Research Engineer and as a lifelong learner.

Ready to Elevate Your Impact?

Interested yet? Get in touch to learn more about life as a Galois research engineer and explore current and future career opportunities.

Email: peopleoperations@galois.com