- Location: Indiana, USA
- Remote: Yes
- Willing to relocate: Yes
- Technologies: Haskell (4 years), compilers (3 years), verification
                (mostly in Coq), systems programming (OS, networking), C, Rust.
- Resume/CV: <a href="
- Email: REDACTED_EMAIL