Research Engineer - Formal Methods

Company

Code Metal

Where

Boston Hub

Level

Mid

First seen

October 21, 2026

Listed via

Ashby

What the posting says

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 intersection of formal methods and artificial intelligence research. RESPONSIBILITIES - Work closely with the research team to translate formal methods research into implemented solutions and integrate them into production-ready Code Metal products. - Apply and adapt tools and…

Read more and apply on Code Metal's site

More jobs like this

1. Senior Gen AI Engineer

   Fractal Analytics · Massachusetts · $120k–$150k a year · First seen Nov 7

   Save to apply

2. Senior Staff Audio Machine Learning Engineer

   Boston Dynamics · Waltham, MA · $180k–$220k a year · First seen Nov 6

   Save to apply

3. DSP/ML Research Engineer Co-op | Spring 2027

   Bose Corporation, U.S.A · US, MA - Framingham · $40–$51.25 an hour · First seen Nov 5

   Save to apply

4. DSP/ML Research Engineer Intern | Summer 2027

   Bose Corporation, U.S.A · US, MA - Framingham · $40–$51.25 an hour · First seen Nov 5

   Save to apply

5. Research Scientist, VLA Models - Atlas

   Boston Dynamics · Waltham Office (POST) · $177k–$225k a year · First seen Nov 5

   Save to apply

See all 22 Computer and Information Research Scientists jobs in Boston

A search agent finds the jobs this list misses: the ones that mean the same without the same words. Have Destava watch for research engineer - formal methods jobs in Boston Hub, new matches every morning on your own account.