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?

Take the next step in your AI career. Submit your application to Code Metal today.

Submit Application