Research Engineer

Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable. We are a community of researchers, engineers, and operations people dedicated to creating trustworthiness in critical systems in every functional area of the organization.

Who We Are : Our unique organizational structure enables us to adapt to the needs of the innovative projects we deliver.

What We Do : We believe trustworthy systems are built on a formal mathematical foundation. Our researchers apply formal analysis techniques to the design and verification of critical software systems, allowing us to model, analyze, and mathematically prove that a system behaves exactly as intended under all circumstances.

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.

Life at Galois : People are the foundation of Galois's success. As an employee-owned company, we care not only about the technologies we develop, but also the path we take to create them. Galois operates under a highly collaborative organizational model that encourages leadership and teamwork and respects the individuals.

About This Role : Galois is hiring a Software Engineer / Researcher to join our team! This role will primarily focus on advancing the state of the art in programming language theory research and implementation.

Responsibilities :

• Requirements gathering : engaging the client in a series of discussions, where each iteration refines the needs of the client, and leads to the suggestion of means to meet those needs
• Architecture and design : constructing high-level architectural descriptions of software systems, and constructing deeper program designs by fleshing out architecture prototypes.
• Implementation : extending design prototypes through to a finished product, with care taken to ensure robustness and ease of use.
• Formal verification : use mechanical reasoning tools such as theorem provers and model checkers to demonstrate or analyze desired security and correctness properties of systems
• Testing and validation : constructing and regularly conducting system, unit, and regression tests, and conducting semi-formal validation and verification
• Technology research and development : conducting speculative research and development of cutting-edge technology, and incorporating that technology in product prototypes.
• Technical infrastructure development : developing (designing, implementing, and maintaining) tools to be used within Galois, and developing library code to be shared among projects
Key Qualifications :
• Education :

A minimum of a Bachelor's degree in computer science or equivalent is required.

A programming languages background and experience with formal methods

Must work well with customers, including building rapport, identifying needs, and communicating with strong written, verbal, and presentation skills.

Direct experience in developing high-assurance systems and / or security products

Security and Citizenship Requirement : Active and transferable U.S. government issued security clearance is required. U.S. citizenship is required, as only U.S. citizens are eligible for a security clearance.

Location : We enjoy a hybrid work environment, and candidates may be based out of any of our offices in Arlington, VA, Dayton, OH, Minneapolis, MN, or Portland, OR. Additionally, being located in Boston, MA is also welcome.

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

Compensation : Compensation is based on the value of your results, not your value as an employee or person.

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.

J-18808-Ljbffr