Research Engineer: Formal Methods & Language Verification

A tech firm specializing in trusted systems is seeking a Software Engineer/Researcher in Boston, MA. This role focuses on advancing programming language theory through formal methods, ensuring software meets high-security standards. Key responsibilities include requirements gathering, system architecture, software implementation, and formal verification. The ideal candidate should have a Bachelor’s degree in computer science, experience in programming languages, and formal verification techniques. The company offers a hybrid work environment and an employee stock ownership plan. #J-18808-Ljbffr