Jan Midtgaard
Senior Software Engineer at DTU, AU, ...
Aarhus, Central Denmark Region, Denmark
Summary
🤩
Rockstar🎓
Top SchoolJan Midtgaard is a Senior Software Engineer and former academic with a PhD in computer science and over a decade of professional experience blending research-grade R&D with hands-on engineering. He specializes in programming languages, compilers, and property-based testing, having used PBT and static analysis to uncover dozens of real-world bugs in compilers, browsers, runtimes and data structures. As a team lead and individual contributor at Tarides he spearheaded testing of multicore OCaml—finding 40+ runtime issues—and contributed to the core OCaml and opam ecosystems by improving runtime, fuzzing support, and package build reliability. He teaches and publishes regularly, with course material used internationally, and runs a consulting practice focused on open source, testing, and language tooling. Based in Aarhus, Denmark, Jan combines deep theoretical knowledge with practical DevOps and backend work, favoring functional languages and pragmatic tooling to harden complex systems.
12 years of coding experience
7 years of employment as a software developer
Doctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at BRICS International PhD School, University of AarhusMSc, Computer Science, MSc, Computer Science at Aarhus UniversityFrederikshavn GymnasiumVisiting scholar, Visiting scholar at Harvard University
Github Skills (16)
compiler10
opam10
compiler-compiler10
build-system10
package-management10
ocaml10
testing9
functional-programming-language9
system-programming9
makefile9
functional-programming9
devops8
freebsd5
git5
c-language4
Programming languages (11)
Github contributions (5)
ocaml/opam-repository
Jun 2019 - Dec 2022
Main public package repository for opam, the source package manager of OCaml.
Role in this project:
Backend Developer
Backend DeveloperContributions:321 reviews, 8 commits, 353 PRs in 3 years 6 months
Contributions summary:Jan primarily contributed to the `opam-repository` by submitting patches that update package definitions. These patches addressed issues in the build and configuration files, specifically fixing build processes, and correcting dependencies. These changes involved adjusting build scripts and integrating necessary tools for successful package builds. The contributions indicate a focus on the packaging and build systems of the OCaml ecosystem.
ocamlopampackage-managerpackage-repository
ocaml/ocaml
Oct 2021 - Jan 2023
The core OCaml system: compilers, runtime system, base libraries
Role in this project:Back-end & DevOps Engineer
Back-end & DevOps EngineerContributions:38 reviews, 14 commits, 27 PRs in 1 year 2 months
Contributions summary:Jan primarily contributed to the OCaml core system, focusing on improvements to the runtime and AFL instrumentation. Their work included fixing bugs, improving error handling, and enhancing support for fuzzing. They also added new tests and updated existing ones, particularly concerning AFL integration. Additionally, they modified documentation and made improvements to the build process.
compilerocamlfunctional-language
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.