Research Engineer - Formal Methods is open at Code Metal in Boston Hub (hybrid). The posting gives a salary of $180K - $267K. Posted on May 22, 2026, and still on Code Metal’s careers page when we last checked, on Nov 14, 2026.
About the role
Code Metal is seeking a Research Engineer specializing in Formal Methods to join our team. In this role, you will work at the intersection of theory and practice, applying, implementing, and integrating testing and verification tools into Code Metal products. You will collaborate closely with researchers and engineers to embed formal methods techniques into Code Metal workflows, driving innovation at the…
The opening lines of the posting. The rest is on Code Metal’s careers page.
Hiring at Code Metal
Code Metal has 43 open roles right now, 17 of them remote. Most are in Engineering, Sales & Business Development and Consulting & Solutions. The median advertised salary across its roles with a published range is $208K. See all its roles
