You will be working on the Fuzion language implementation. In particular, you will be working with the intermediate representation of Fuzion programs working on the compilation to machine code or the interpretation of Fuzion programs. You will implement framework for static analysis of Fuzion applications or modules that analyze certain correctness aspects of the code such as the absence of run-time errors. You will use the static analysis framework to implement optimizations for the generated code to boost the run-time performance of Fuzion applications.

Experience or interest in static code analysis or compiler implementation

Experience with existing compiler intermediate languages such as LLVM, Java byte-code, WebAssembly, GraalVM, etc. is a plus.