Senior Compiler Engineer

As senior compiler engineer, you will have the following responsibilities:

• Work on the compilation pipeline from high-level languages (Solidity, Python, etc) to functional intermediate-level representation
• Design type systems, static analyses, and optimizations
• Evolve the design of the high-level languages based on the contemporary applications
• Design passes for JIT compilation from intermediate-level languages to various back-ends
• Maintain the infrastructure for compiler development, including frameworks for randomized testing and fuzzing
• Interact with the formal methods researchers on the team to facilitate reasoning about the compiler and programs’ correctness

Responsibilities

• Identify gaps in current design of the Scilla IR and suggest improvements
• Propose new design aspects for high-level smart contract languages 
• Be a part of the programming language team, facilitating the interaction between the front-end, back-end compiler development, and the verification frameworks
• Keep up to date with the body of work in DeFi applications, smart contract languages, and compilers (e.g., by reading research papers and blog posts), looking for common patterns to be embodied in the language design

Requirements 

• Passionate about the cryptocurrency and blockchain field.
• Computer science background 
• 3+ years experience in working with compilers and language runtimes
• Good proficiency with OCaml or any other functional language (Haskell, Scala)
• Knowledge of relevant concepts: static analysis, type systems, lambda calculus and its variations, abstract interpretation, common compiler optimizations.
• Good proficiency with LLVM is a plus