Advanced Research Engineer

About Galois

Who We Are: At Galois, we strive to build digital tools that enhance safety in space exploration and guarantee the integrity of cryptographic libraries safeguarding vital data globally. We focus on developing technology that ensures trustworthiness in systems where failure is not an option.

We are a team of researchers, engineers, and operational experts dedicated to cultivating trust in critical systems across all areas of our organization. Our distinct structure allows us to be agile and responsive to the innovative projects we undertake.

What We Do: We believe that trustworthy systems should have a solid mathematical foundation. Our researchers leverage formal analysis techniques to design and verify critical software systems, enabling us to model, analyze, and mathematically guarantee the expected behavior of systems in all situations. We work with notable clients like NASA, DARPA, AWS, and the Department of Defense and apply our groundbreaking research to deliver solutions that enhance security, reliability, and operational efficiency across diverse sectors such as aerospace and defense, healthcare, semiconductors, and fintech.

As a Research Engineer at Galois, you will invent and develop cutting-edge technologies for safety- and security-critical systems, networks, and applications. Our engineers collaborate closely in small teams with clients, partners, and colleagues in a cooperative, intellectually stimulating environment.

Life at Galois: Our people are the cornerstone of our success. As an employee-owned organization, we prioritize both the technologies we create and the journey we take to develop them. Galois fosters a highly collaborative culture that values leadership, teamwork, and respect for individuals.

About This Role: Join our team as a Research Engineer focused on advancing research in programming languages and formal methods. This position involves rigorous formal verification of software and systems to meet top-tier security standards.

Responsibilities:

• Gathering requirements through discussions with clients to refine their needs and propose effective solutions.
• Designing and architecting high-level software system descriptions and creating detailed design prototypes with assurance in mind.
• Implementing prototypes into robust, user-friendly finished products.
• Utilizing mechanical reasoning tools such as theorem provers and model checkers for formal verification of systems.
• Conducting various tests including system, unit, and regression tests, alongside semi-formal validation and verification processes.
• Engaging in speculative research and development of new technologies and integrating them into product prototypes.
• Designing, implementing, and maintaining technical infrastructure tools and library code for shared projects.

Key Qualifications:

• Education: A Bachelor's degree in computer science or a related field is required; an MS or PhD is highly desirable.
• Technical Expertise: Background in programming languages and formal methods, with hands-on experience in software development and formal verification techniques. Familiarity with a variety of formal methods (e.g., model checking, theorem proving) is vital, along with experience in software engineering practices. Proficiency in Haskell or other functional programming languages is essential.
• General Skills: Strong interpersonal skills are necessary for customer engagement and effective communication, along with high motivation and the ability to manage deadlines and quality standards.

Preference will be given to candidates with experience in developing high-assurance systems or security products, familiarity with Model Based Systems Engineering tools, and knowledge of hardware engineering languages such as VHDL and Verilog.

Security and Citizenship Requirement: An active and transferable U.S. government-issued security clearance is required, as is U.S. citizenship.

Location: Candidates have the flexibility to work in our hybrid environment from any of our offices located in Arlington, VA, Dayton, OH, Minneapolis, MN, or Portland, OR. Boston, MA is also an accepted location.

Benefits: We offer a comprehensive benefits package for you and your family's well-being, including an Employee Stock Ownership Plan (ESOP), a 401(k) plan with a 5% employer match, fully covered medical plans, health savings account contributions, mental health support, generous paid time off, fully paid parental leave, and innovation time to pursue personal projects.

Compensation: Our compensation reflects the value of your performance and is conducted through a transparent process accessible to all employees.

Equal Employment Opportunity: Galois is committed to diversity and inclusion in the workplace and does not discriminate based on any characteristic protected by law. We encourage applications from diverse backgrounds and experiences.

We provide reasonable accommodations for qualified applicants or employees wit