Research Engineer: Formal Methods & Language Verification

computer and information research scientists

mathematical science occupations all other

investigation and security services machine shops turned product and screw nut and bolt manufacturing greenhouse nursery and floriculture production other schools and instruction support activities for forestry

East Boston, MA

April 3rd, 2026

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

424 matching similar jobs near East Boston, MA

1 3 4 5 9