Functional Programming PhD Student Seeking Industry Job or Postdoc
Login to Send EmailDescription
GPU programming
parallel programming languages
Functional programming
Haskell
type systems
compilers
language design
I'm a soon-to-be-graduating PhD student at the University of Copenhagen looking for either an industry job or a postdoc. My PhD work has been on the functional array programming language Futhark (https://futhark-lang.org/), including work on the type system (sum types, rank polymorphism) and automatic differentiation. I'm broadly interested in all things type systems/functional programming/compilers/language design. I can work in both the US and the EU without a visa.