Location: Utah, USA Remote: Yes Willing to relocate: No Technologies: Elixir, Haskell, Racket, Julia, Rust, LLVM, Coq, various formal verification tools Rés

Location: Utah, USA Remote: Yes Willing to relocate: No Technologies: Elixir, Haskell, Racket, Julia, Rust, LLVM, Coq, various formal verification tools Résumé/CV: https://lambdaland.org/resume.pdf https://lambdaland.org/resume.pdf Email: mail@wiersdorf.dev I'm a 3rd-year PhD student studying programming languages and type systems. I'm looking for an internship for the summer. Something aligned with my research would be best for me, but I have also done many (~8) years of work as a full-stack web developer, most recently in Elixir.