Research Engineer
🇺🇸
Portland, OR, USA, Arlington, VA, USA, Dayton, OH, USA, Minneapolis, MN, USA
The role entails verifying safety-critical systems using formal methods. Requires strong PL theory background, functional programming skills, and software engineering experience. Secret clearance eligibility needed; hybrid work in multiple U.S. locations.
Haskell
Verified Dec 9, 2025
View listing