Research Software Engineer, Formal Methods (Hybrid)

What you’d do

Program and test software and systems in Python, C, C++, or Java and logic programming languages, and build formal or informal models and specifications of protocols and systems. Develop algorithms to analyze how systems work or break and how to make them more secure. Hybrid, full time, with travel up to 10%. Found on the employer's careers page on Oct 18, 2026. Apply through the link.

You’ll need

• STEM degree
• 5+ years relevant experience, or 3+ years with advanced degree
• 9 years relevant experience without a degree
• Python, C, C++, or Java
• Formal methods such as model checking and theorem proving