Galois tackles the hardest problems in computer science. Our mission is to assure trust in critical systems, including cryptosystems, that protect the privacy and integrity of information in the real world. We are a team of researchers and engineers who enjoy the challenge of problems that have never been solved before and a community of people dedicated to creating trustworthiness in critical systems.
We are a community, not a hierarchy. We think about citizenship, not rules. We are employee-owned. We value the freedom to pursue our passions in and out of work. We operate from first principles rather than follow the crowd.
We believe in and value joy at work. This comes through pursuing deep trust, serving as stewards, learning and innovating, and creating space for you to be authentically you.
As a cryptography and secure computation research engineer, you will develop cryptographic techniques to assure this kind of information security for the last mile: during computation. The techniques we draw on include multi-party computation, homomorphic encryption, functional encryption, private information retrieval, program obfuscation, and zero-knowledge proofs.
Galois engineers participate in one or more projects concurrently, and specific roles vary greatly according to your skills, interests, and company needs. Your role might include cryptographic research, prototype development, diving deep to understand what our clients’ requirements really mean, formally verifying key aspects of our prototypes, or project leadership. Research that leads to publication is highly encouraged, providing lots of opportunity for advancing the state of the art.
Skills & Requirements
- Education– Minimum of a BS in computer science or mathematics. MS or Ph.D. in CS or mathematics desired but optional.
- Required Technical Expertise
- Significant implementation or applied research focus in cryptography, and in particular, secure computation.
- Demonstrated capability to take theoretical constructions, turn them into working implementations, and optimize them toward practical use.
- A pragmatic understanding of building practical, performant systems that incorporate such advanced cryptosystems into a smoothly integrated whole that meets the needs of our clients.
- Required General Skills– Must work well with customers, including building rapport, identifying needs, and communicating with strong written, verbal, and presentation skills. Must be highly motivated and able to self-manage to deadlines and quality goals expected by those customers.
We’re looking for people who can invent, learn, think, and inspire. We reward creativity and thrive on collaboration. If you are interested, please submit your cover letter and resume to us.
About Galois
At Galois, we specialize in researching and developing technologies that solve computer science’s most challenging problems, particularly working to guarantee the trustworthiness of systems where failure is unacceptable. Our organizational structure is collaborative and based on well-defined accountabilities and authorities, transparency, and stewardship principles. Project teams involve multiple engineers and researchers, likely including team members from academia, industry partners, and government agencies, and range from a few months to several years.
We aspire to provide employees with something that matters to them beyond just a paycheck—including opportunities to learn, career development, employee ownership, and a sense of community. In looking for the very best candidates, we celebrate differences, knowing that a team of varied backgrounds, perspectives, and skills will best deliver Company success. The more inclusive we are, the better our work will be.
Apply:
We are looking for people who can invent, learn, think, and inspire. We reward creativity and thrive on collaboration. If you are interested, please click here to apply.