BuildList

BUILDLIST JOBS

Loading jobs...

Research Engineer - Formal Methods at Code Metal | BuildList

Jobs News Map Sectors JoinJoin the BuildList Network

Open Role

Research Engineer - Formal Methods

at Code Metal

Code MetalDefense🤖 AI & Autonomy · Senior

Boston, MA·Posted Jan 21

Apply at Code Metal View Company

About Code Metal

Verifiable, AI-powered code translation for edge and embedded defense systems.

View full profile →

HQ: Boston, MA
Stage: Series C+
Total Raised: $178M
Employees: 51-200
Founded: 2023

More roles at Code Metal

IT Security Analyst
Boston, MA
→
AI Research Engineer
Palo Alto, CA
→
Senior Software Engineer - Agentic AI
Boston, MA
→
Reinforcement Learning Engineer
San Francisco, CA
→
Senior Engineer

Remote

→

View all 28 roles at Code Metal →