Current Opening

Systems Programming Engineer/Researcher

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. 

Research Engineers at Galois design and develop advanced technologies for safety- and security-critical systems, networks, and applications. Engineers work in small team settings and must successfully interact with clients, partners, and other employees in a highly cooperative, collaborative, and intellectually challenging environment.

For more on our organizational structure, visit Life at Galois.

About This Role:

Galois is hiring a Systems Programming Engineer/Researcher to join our team! This role will focus on advancing the state of the art for safe application execution through hardware-assisted and operating system-assisted technology, by developing compiler toolchains and runtime systems, developing infrastructure to capture and analyze runtime measures of system effectiveness, and applying software engineering expertise to developing and maintaining these capabilities across targeted platforms.

Key Qualifications:

  • Education: Minimum of a Bachelor’s degree in computer science or equivalent. MS or PhD in CS or a related field is desirable but optional.
  • Required Technical Expertise:
    • Must have hands-on experience developing software at the systems level.
    • Must have deep working knowledge of the Linux kernel, familiar with many of the abstractions, and have the ability to build and use custom kernels.
    • Must have hands-on experience making experimental changes to the Linux kernel to advance project goals, and ability to get changes accepted upstream when generally applicable.
    • Experience in all aspects of software engineering practices.
  • Desired but not Required Technical Expertise:
    • Experience with embedded systems and emulation environments (e.g., QEMU), cross-compiling applications and tooling, and running applications in a targeted embedded environment.
    • Direct experience in developing high assurance systems and/or security products.
    • Some familiarity or interest in applied use of formal methods, such as model checking, program analysis, and formal semantics of application behavior. This is typically the basis of our projects and motivates our technical approach.
    • Familiarity with the functional programming paradigm.
  • 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 deadlines and quality goals
    • Must have impeccable attention to detail and create clean, well-written and documented code.

Location:

We enjoy a hybrid work environment, and being co-located with one of our offices is preferred – locations in Arlington, VA, Dayton, OH, Minneapolis, MN, 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.