Location: Salt Lake/Utah Valley, Utah
    Remote: Yes
    Willing to relocate: Possibly
    Technologies: Elixir, Ruby, Julia, Haskell, Rust
    Résumé: https://lambdaland.org/resume.pdf
    Email: [email protected]

I am a PhD student looking for a summer gig. I don't require benefits—I'm happy to hire on as a contractor. I have worked as a back-end software engineer for a variety of companies throughout my schooling, so I've got the experience of a mid-level engineer. I specialize in building interpreters & compilers and I have experience with formal verification tools and techniques. That said, I won't turn down a job working on the back-end of whatever your SaaS project may be. :)