Research Engineer - Formal Methods
Code Metal- Location
- Remote
- Work mode
- Remote
- Type
- full time
- Listed
Applications go directly to Code Metal. Ramai takes no fee for placement and no money for ranking.
[ About this role ]
Code Metal is seeking a Research Engineer specializing in Formal Methods to apply, implement, and integrate testing and verification tools into their products. The role involves translating formal methods research into implemented solutions, making formal verification accessible to engineers, and evaluating formal methods on industrial-scale codebases.
Skills and focus areas
- formal methods
- software verification
- testing
- artificial intelligence
- research
- collaboration
Summary written by Ramai from the original posting. Full details and requirements are on Code Metal’s careers page.
[ More at Code Metal ]
See all 38 open roles at Code Metal →[ Similar roles at other startups ]
- Machine Learning ResearcherDoe
- Reporter, Gulf Region - Middle East (remote)Axios
- Research Scientist / Engineer – Reinforcement Learning InfrastructureLuma Labs
- Principal Scientist - Radio Frequency Plasma HeatingCommonwealth Fusion Systems
- Robotics Research, Humanoid Manipulation Intern (spring 2027) | PhdFieldAI
[ Not quite right? ]
Tell the assistant what you’re after — stage, location, stack, visa sponsorship — and it searches every open role for you. A few questions are free, no account needed.