Production-Ready Formal Methods Engineer for AI

Code Metal
📍 boston, davao oriental, Philippines 💼 Full-time 🕒 Posted June 23, 2026

Job Description

A technology firm in Davao Oriental is seeking a Research Engineer specializing in Formal Methods. The successful candidate will translate formal methods research into practical solutions for Code Metal products. You will collaborate closely with engineering teams and utilize strong programming skills in Python, C/C++, or Rust. This role requires advanced academic qualifications and offers a flexible hybrid work arrangement, health care plans, and relocation assistance.
#J-18808-Ljbffr

Ready to Apply?

Submit your application today and join our talented team at Code Metal.

Submit Application

Job Details

  • Location boston, davao oriental
  • Job Type Full-time
  • Category Engineering
  • Posted Date June 23, 2026
  • Application Deadline August 02, 2026