Overview
Research Engineer advancing programming language theory and formal verification. Applying model checking, theorem proving, and Haskell to build high-assurance critical systems.
Key Information
- Locations
-
🇺🇸
Arlington, VA | Dayton, OH, USA | Minneapolis, MN, USA | Portland, OR, USA | Boston, MA, USA
- Remote Friendly
- No
- Languages
- Haskell