Current Opening

Principal Computer Scientist – Programming Languages and Formal Methods

APPLY HERE

Galois is 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 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. 

 

About This Role:

We are hiring Principal Computer Scientists and are looking for researchers with a background in programming languages and formal methods. This might include programming language design, type theory, compiler design, static analysis, runtime verification, logical solvers, automated reasoning, interactive theorem proving, and related topics. We are especially interested in researchers with a proven track record of applying techniques in domains such as cybersecurity, cryptography, and cyber-physical systems. Our aim is to pursue innovative research that helps our clients build safe, reliable, and trustworthy systems, and thereby improve the world of software. We’re looking for people who can invent, learn, think, and who can inspire both colleagues and clients.

 

We enjoy a hybrid work environment, and being co-located with one of our offices is preferred – locations in Arlington, VA, Dayton, OH, and Portland, OR. Potential for remote work is possible.

 

Responsibilities:

As a Principal Computer Scientist you will:

  • Develop and lead an externally funded research program, involving frequent client and government agency interactions.
  • Collaborate across Galois, academia, government and industry to advance active research and development programs.
  • Publish and speak on your work, establishing a reputation for thought leadership in your domain of expertise.

 

Skills and Requirements:

Competitive candidates for this role will be experienced researchers in their field and have demonstrated success envisioning, designing and leading significant research programs. We value hands-on experience in the proposal writing process and a deep interest in pursuing programs that connect one’s research interests directly to customer needs. Excellent technical writing, verbal communication and public speaking skills are essential.

 

  • Ph.D. in Computer Science or a related field with a history of high quality academic or industrial research as evidenced by publications, involvement in the research community and/or patent applications.
  • A track record in obtaining external research funding.
  • Demonstrated expertise in building programming languages and/or formal verification tools, combined with a theoretical background in Computer Science and Mathematics.
  • Passionate curiosity, interest in new ideas and love of learning.

 

About Galois:

Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable. We apply cutting edge computer science and mathematics to advance the state of the art in software and hardware trustworthiness. At Galois, we maintain a unique organizational structure tailored to the needs of the innovative projects we deliver. Our organizational structure is collaborative, one-level flat, and based on principles of well-defined accountabilities and authorities, transparency, and stewardship. We aspire to provide employees with something that matters to them beyond just a paycheck — whether it be opportunities to learn, career growth, a sense of community, or whatever else brings them value as a person. We believe in individual freedom in the roles we choose, and in the projects we pursue — our research focus areas are the intersection of staff interests and corporate strategy. We choose practices that best suit the project, team, and leaders, with company-wide standards kept to a minimum to ensure we are making the right choices for the situation rather than just business-as-usual choices.

 
 

If you are interested, please click here to apply.

For more on our organizational structure, visit Life at Galois