Candidate profile
Compiler and Programming Language Expert
functional languagesformal methodsHaskelldeveloper toolsprogramming language designOCamlcompilerScala
Description
Remote: prefer in-person, but remote/hybrid is ok too