Skip to content
Back to talent search
Elixirvarious formal verification toolsHaskellCoqRustLLVMJuliaRacket

Description

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.