JOBSEARCHER
INDUSTRIESOCCUPATIONSLOCATIONSCOMPANIES
SIGN IN
<Back to Search

Research Engineer: Formal Methods & Language Verification

mathematicians
sociology teachers postsecondary
computer and information research scientists
galois inc
investigation and security servicesmachine shops turned product and screw nut and bolt manufacturing
East Boston, MA
March 20th, 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

Showing 50 of 21,168 matching similar jobs

1234100