[zfnmxt]

Location: US & Europe

Remote: No preference

Willing to relocate: Yes

Technologies: Functional programming, type systems, language design, compilers, parallel programming languages, verification, Haskell.

Résumé/CV: https://rschenck.com/docs/cv.pdf

Email: See CV above.

I recently finished my PhD at the University of Copenhagen, where I worked on the functional array programming language Futhark (https://futhark-lang.org/). My research focused on Futhark’s type system---including sum types and rank polymorphism---and on adding support for parallel automatic differentiation. Right now, I’m a postdoc at VU Amsterdam, working on hardware verification. Specifically, proving leakage properties of functional hardware descriptions (functional in the Haskell sense) in a composable way.

See my CV or https://rschenck.com for a list of publications.

I'm open to both academic and industry positions. 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.