Current Opening

Principal Computer Scientist – Program Analysis and Cyber-Security

How to Apply:

Please click here and submit your application along with relevant documents.

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​ ​that​ ​allow​ ​systems​ ​to​ ​be​ ​modeled, analyzed,​ ​and​ ​mathematically proven​ ​correct to ensure​ ​that a​ ​system​ ​behaves​ ​exactly​ ​as​ ​we​ ​intend​ ​under​ ​all​ ​circumstances.

We are a community of researchers, engineers, and operations people who are dedicated to creating trustworthiness in critical systems in every functional area of the organization. Our organization is highly collaborative, and we pursue working from first principles, transparency, building deep trust, learning and innovating, and creating space for you to be authentically you. Our unique organizational structure enables us to adapt to the needs of the innovative projects we deliver.

We are employee-owned and aspire to provide employees with a sense of freedom to pursue passions in and out of work — whether it be opportunities to learn, career growth, a sense of community, or whatever else brings you value as a person. 

About This Role:

We are hiring Principal Computer Scientists focused on program analysis, verification, and cyber-security. In this role, you will drive a research agenda applying program analysis and verification techniques to establish the trustworthiness, safety, and security of (primarily software) systems. You will be developing R&D opportunities that require engaging with customers to identify applications of tools to embedded, mobile, desktop, and enterprise software. Effective applications of tools may involve analysis at or across the model, source, and binary levels. The role also requires developing new analysis tools based on both existing and novel techniques that include dynamic analysis, static analysis, and verification.

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.
  • 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 actual customer needs. Excellent technical writing, verbal communication, and public speaking skills are essential.

Key Qualifications:

  • 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 program analysis and/or verification, with a strong background in both theory and practice.
  • Deep knowledge of systems programming and relevant interactions with system security.
  • Passionate curiosity, interest in new ideas and love of learning.
  • The candidate may be subject to a security investigation and will need to meet eligibility requirements for access to classified information.

We work extensively with functional programming languages and formal methods. Our research engineers work in small teams and successfully interact with clients, partners, and other employees in a highly collaborative environment. Many of them have PhDs in their fields as well. We’re looking for people who can invent, learn, think, inspire these teams, and our clients.

Location:

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.

Benefits:

We offer a robust benefits package to provide for your and your family’s well-being, including:

  • Employee Stock Ownership Plan (ESOP)
  • 401(k) retirement plan with 5% employer match and immediate vesting
  • Fully paid medical insurance plans and dental and vision reimbursement plan
  • Health Savings Account (HSA) with generous employer contributions
  • Mental health and wellbeing support through our employee assistance program
  • 5 weeks of paid time off and 9 days of paid company holidays each year
  • 16 weeks of fully paid parental leave (available for new parents for birth, adoption, and fostering)
  • 1 week of fully paid “Blue Sky” innovation time each year to pursue your interests

For more information on our benefits, visit Careers at Galois.

Compensation:

Compensation is based on the value of your results, not your value as an employee or person. The compensation process, individual salaries, and criteria for salary changes are transparent to the entire company.

For more information about our forward-looking and transparent approach to pay, visit Compensation.

Equal Employment Opportunity:

Galois is an Equal Opportunity Employer and does not discriminate in employment opportunities or practices based on race, ethnicity, national origin, ancestry, color, sex, gender identity or expression, sexual orientation, marital or parental status, pregnancy or childbirth, disability, age, religion, creed, genetic information, veteran status, or any other characteristic protected by applicable federal, state, or local law. We encourage and respect different viewpoints and experiences as being essential to the process of innovation. We strive to acquire, grow, and maintain a diverse and inclusive workplace that applies principles and standards equitably while supporting the needs and accommodations of the individual employee.

Consistent with the Americans with Disabilities Act (ADA) and federal and state laws, it is the policy of Galois, Inc. to provide reasonable accommodation when requested by a qualified applicant or employee with a disability, unless such accommodation would cause an undue hardship. If you require reasonable accommodation in completing the employment application, interviewing, completing any pre-employment testing, or otherwise participating in the employee selection process, please contact peopleoperations@galois.com

How to Apply:

Please click here and submit your application along with relevant documents.