Destava

Research Engineer - Formal Methods

Galois, Inc. is hiring for Research Engineer - Formal Methods in Boston, Massachusetts, United States. Mid level. First seen October 30, 2026; open as of November 5, 2026. Jobs taken straight from company career pages — no aggregator in between.

Save to applyRead more and apply on Galois, Inc.'s site

With Destava: How well do you fit? · Tailor my résumé · Write a cover letter

Company
Galois, Inc.
Where
Boston, Massachusetts, United States
Level
Mid
First seen
October 30, 2026
Listed via
Workable

What the posting says

This role will primarily focus on advancing the state of the art in programming language theory research and implementation. Researchers in this role will use their expertise in Formal Methods and Programming Languages to conduct rigorous formal verification of software and systems, ensuring they meet the highest security standards. Responsibilities As a Research Engineer, you will have the following 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…

Read more and apply on Galois, Inc.'s site

This page includes information from the O*NET 31.0 Database by the U.S. Department of Labor, Employment and Training Administration (USDOL/ETA). Used under the CC BY 4.0 license. O*NET® is a trademark of USDOL/ETA.