Maxime Kjaer
Senior Software Engineer at Microsoft
Seattle, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolMaxime Kjaer is a Senior Software Engineer at Microsoft with 13 years of experience building high-performance back-end systems, currently focused on Azure Files. Grounded in rigorous compiler and formal verification research from EPFL and a thesis stint at Carnegie Mellon, he brings deep expertise in type systems and compiler internals—evident from substantive contributions to the Scala 3 compiler and performance-focused libraries like jsoniter-scala. He has blended research and production work before, implementing string inlining for GraalVM Native Image at Oracle Labs and improving cross-compilation and build tooling for Bloop. Based in Seattle, he combines a strong academic pedigree with practical cloud-scale engineering, favoring correctness, code quality, and security in distributed storage and tooling. An experienced educator and mentor, he has taught compiler construction and helped hundreds of students learn Scala and parallel programming.
13 years of coding experience
4 years of employment as a software developer
French-Danish Baccalauréat, Science, French-Danish Baccalauréat, Science at Lycée Français Prins HenrikMaster of Science - MS, Computer Science, Master of Science - MS, Computer Science at EPFL (École polytechnique fédérale de Lausanne)Master's Thesis, Computer Science, Master's Thesis, Computer Science at Carnegie Mellon University
Danish, French, English, German
Stackoverflow
782reputation
76kreached
13answers
1question
google-chrome
top-5%
Github Skills (31)
json10
compiler-development10
sbt10
scala10
dotty10
type-system10
scalajs10
build-tools10
json-serialization10
compilation9
macros9
google-chrome9
functional-programming9
developer-tools8
javas8
Programming languages (15)
Github contributions (5)
scala/scala3
Mar 2018 - Apr 2021
The Scala 3 compiler, also known as Dotty.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:6 reviews, 27 commits, 8 PRs in 3 years 1 month
Contributions summary:Maxime primarily contributes to the Scala 3 compiler, focusing on improving its functionality and correctness. Their work includes adding new compile-time operations on singleton types, enhancing the compiler's ability to perform constant folding, and addressing issues related to type normalization and comparisons. They also added and refined tests to validate the new functionality. The user's modifications touch upon core compiler components, including type checking and definitions, indicating a deep understanding of the compiler's internal workings.
compilerscala3scaladottyepfl
scalacenter/bloop
Jun 2020 - Jun 2020
Bloop is a build server and CLI tool to compile, test and run Scala fast from any editor or build tool.
Role in this project:Back-end Developer & Build Engineer
Back-end Developer & Build EngineerContributions:8 commits, 2 PRs, 11 comments in 11 days
Contributions summary:Maxime primarily contributed to the build process and configuration of the "bloop" build server. They focused on cross-compilation support for Scala.js, modifying build files to enable different Scala versions. Additionally, they updated dependencies and refactored code related to JSON serialization and deserialization within the build configuration, improving error reporting and stability. The commits indicate a good understanding of build tool intricacies and cross-platform Scala development.
build-serverproductivitycompilation-servercompiledeveloper-tools
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.