Full-time
Production-Ready Formal Methods Engineer for AI
Posted by Code Metal • Boston, Davao Oriental, Philippines
About the Role
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
#J-18808-Ljbffr
Ready to Apply?
Submit your application today and take the next step in your career journey with Code Metal.
Apply Now