Location: Boston, MA (and the surrounding Metropolitan Statistical Area)
Remote: Yes please! (if possible)
Willing to relocate: No. (though I could be convinced, if you're doing something really cool with types and functional programming)
Technologies: OCaml, F#, Haskell, Coq, Racket, Rust, Swift, C#, Java, JavaScript, HTML, CSS, React (including Native), C, Python/Django, Ruby/Rails, Elixir/Phoenix, PowerShell, Docker, Terraform, AWS, Git, Bash, Emacs.
Résumé: <a href="
Email: REDACTED_EMAILg
Hi, I'm Beatrix. I'm a college dropout with a passion for strong formal definitions of software correctness and functional programming. My personal platform is macOS and I'm a Unix enthusiast. I currently work on desktop Windows technologies with C# but I am a ravenous learner who reads constantly and will quickly get up to speed with any tool you throw at me if I don't already know it. (there's always a pretty good chance I've at least dabbled) I also have professional experience with full-stack web development and test automation for continuous integration and deployment. I spend most of my free time learning more about dependent types, type systems, and strongly typed functional programming.