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.
Remote: No preference
Willing to relocate: Yes
Technologies: Functional programming, type systems, language design, compilers, parallel programming languages, GPU programming, Haskell.
Résumé/CV: See https://rschenck.com
Email: See https://rschenck.com
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.