Job Summary
A programming language and data-science platform is in need of a Remote Senior Type System Engineer.
Core Responsibilities of this position include:
- Determining and formalising the theoretical underpinnings of the new type system
- Implementing the type-checking and type-inference engines as part of the greater interpreter
- Improving the interpreter's functionality and performance
Must meet the following requirements for consideration:
- Experience writing code in a functional programming language such as Haskell or Scala
- 3+ years experience with type-level programming techniques
- Experience working with the theory behind powerful type systems
- Experience building real-world type-systems
- Awareness of the UX impacts of type-systems
- Practical experience in building large and complex software systems