09/01/2026 updated
100 % available
Compiler Engineer | Programming Language Design & Optimization | LLVM & Futhark Specialist
Frederiksberg, Denmark
Worldwide
M.S. in Computer Science (ongoing, Technical University of Denmark - DTU & Aalto University)C++ (Programming Language)CompilersCode GenerationDebuggingGNU Compiler CollectionGlasgow Haskell Compiler
Compiler Engineering & LLVM
Extensive experience designing, developing, and testing compiler components using LLVM/Clang, including IR middle-end passes and AArch64 backend passes for program instrumentation and code generation.
Compiler Optimization & GPU Backends
Active contributions to the Futhark optimizing compiler, focusing on optimization passes, intermediate representation, and code generation for GPU and multicore backends, achieving significant performance improvements.
Programming Language Design & Type Systems
Deep knowledge in programming language theory and type system design, demonstrated through a bachelor thesis on designing and implementing a type system to enforce noninterference.
C & C++ Programming
Proficient use of C and C++ for low-level systems programming, compiler development, and hardware-assisted security feature implementation.
Functional Programming
Knowledge of functional programming paradigms with experience in Haskell and Racket, applied in compiler and language research contexts.
Formal Methods & Program Verification
Familiarity with formal verification tools including Isabelle/HOL and Viper, with coursework in program analysis, program verification, and formal methods.
Debugging & Low-Level Analysis
Hands-on experience triaging and debugging low-level failures using GDB and the Arm Fixed Virtual Platform in compiler and security research settings.
DevOps & Infrastructure Tools
Working knowledge of Linux, Git, Docker, and Kubernetes for development, version control, and containerized deployment environments.
AArch64 Assembly
Practical experience with AArch64 assembly language in the context of backend compiler pass development and hardware-assisted control-flow integrity.
Extensive experience designing, developing, and testing compiler components using LLVM/Clang, including IR middle-end passes and AArch64 backend passes for program instrumentation and code generation.
Compiler Optimization & GPU Backends
Active contributions to the Futhark optimizing compiler, focusing on optimization passes, intermediate representation, and code generation for GPU and multicore backends, achieving significant performance improvements.
Programming Language Design & Type Systems
Deep knowledge in programming language theory and type system design, demonstrated through a bachelor thesis on designing and implementing a type system to enforce noninterference.
C & C++ Programming
Proficient use of C and C++ for low-level systems programming, compiler development, and hardware-assisted security feature implementation.
Functional Programming
Knowledge of functional programming paradigms with experience in Haskell and Racket, applied in compiler and language research contexts.
Formal Methods & Program Verification
Familiarity with formal verification tools including Isabelle/HOL and Viper, with coursework in program analysis, program verification, and formal methods.
Debugging & Low-Level Analysis
Hands-on experience triaging and debugging low-level failures using GDB and the Arm Fixed Virtual Platform in compiler and security research settings.
DevOps & Infrastructure Tools
Working knowledge of Linux, Git, Docker, and Kubernetes for development, version control, and containerized deployment environments.
AArch64 Assembly
Practical experience with AArch64 assembly language in the context of backend compiler pass development and hardware-assisted control-flow integrity.
Experience
Professional experience0 - 5 years
Freelancer since2026
Languages
EnglishFluent
Project history
Contributing to the Futhark optimizing compiler under Prof. Troels Henriksen (University of Copenhagen), across the intermediate representation, optimization passes, and code generation. Co-authored full flattening for irregular nested data-parallel programs as a pass over Futhark's GPU IR (merged upstream, PR #1740). Implemented a decoupled look-back chained scan in the multicore backend for a ~26% speedup (merged upstream, PR #2343).
Designed, developed, and tested Shadow Integrity Control (SIC) in LLVM/Clang: an IR middle-end pass plus AArch64 backend passes for hardware-assisted control-flow integrity in C. Triaged and debugged low-level failures with GDB and the Arm Fixed Virtual Platform. Won the Best Demo Award at Secure Systems Demo Day 2025; the work was published at ISQED 2026.
TA for Principles of Compiler Design and Programming Language Theory: designed assignments, wrote educational content and documentation, led recitations, and reviewed student code.