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.
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
Email: [email protected]
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.