Production-Ready Formal Methods Engineer for AI

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

Apply for this Position