A technology company in Boston is seeking a Research Engineer specializing in Formal Methods. You will apply advanced techniques to integrate testing and verification tools into products and collaborate with researchers and engineers. Ideal candidates will hold an advanced degree and have strong skills in programming languages like Python, C/C++, or Rust. Benefits include a healthcare plan, 401k matching, flexible work arrangements, and relocation assistance.
#J-18808-Ljbffr
FULL TIME
senior
4/14/2026
You will be redirected to Code Metal's application portal.
Sign in and we'll score your resume against this role.