Formal Methods Research Engineer - Remote

Code Metal in San Francisco is seeking a Research Engineer specializing in Formal Methods to integrate testing and verification tools into products. You will work alongside researchers to drive innovation and collaborate across teams. The ideal candidate has an advanced degree in a relevant field, strong programming skills in Python or C++, and experience with formal methods techniques. The role offers competitive benefits including health coverage and flexible work arrangements. #J-18808-Ljbffr