Overview
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.
Key Information
- Locations
-
🇺🇸
Portland, OR, USA | Arlington, VA, USA | Dayton, OH, USA | Minneapolis, MN, USA
- Remote Friendly
- No
- Languages
- Haskell