Production-Ready Formal Methods Engineer for AI

A leading technology company in Boston is seeking a Research Engineer specializing in Formal Methods. This position involves collaborating with teams to integrate formal methods into product development. Candidates should hold an advanced degree in a relevant field and possess strong programming skills, particularly in Python, C/C++, or Rust. The company offers comprehensive health plans, a flexible hybrid work arrangement, and 401k matching, making this an excellent opportunity for innovation and professional growth. #J-18808-Ljbffr