Michael Jones
Senior Software Engineer at CircuitHub
London, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolMichael Jones is a Senior Software Engineer based in London with 13 years of experience building and leading complex, cross-team engineering initiatives across research, compiler, and blockchain domains. He has driven Plutus and Cardano integrations at IOHK—from implementing a Haskell-to-Plutus Core compiler and performance wins to shaping governance and dependency management as a technical architect. Comfortable balancing hands-on systems work with people leadership, he has repeatedly moved research ideas into production while shepherding roadmaps and team growth. An active open-source contributor, his contributions span widely used projects (ANTLR, haskell-language-server, haskell.nix) where he improved CI/build infrastructure, testing, and core language tooling. He combines deep functional-programming and compiler expertise with practical DevOps and QA experience, making him effective across backend, CI/CD and language-tool ecosystems. Collected work shows a pattern of simplifying complex build and dependency surfaces—often behind the scenes—to accelerate delivery.
13 years of coding experience
11 years of employment as a software developer
MMathPhil Mathematics and Philosophy, MMathPhil Mathematics and Philosophy at University of Oxford
Stackoverflow
1reputation
0reached
1answer
0questions
Github Skills (48)
nix10
testing10
language-server-protocol10
cicd10
cryptocurrency10
package-manager-tool10
language-server10
cardano10
parser-generator10
emacs10
build-automation10
antlr10
blockchain10
ghc10
smart-contracts10
Programming languages (26)
Github contributions (5)
IntersectMBO/plutus
Aug 2018 - Jan 2023
The Plutus language implementation and tools
Role in this project:
Back-end Developer
Back-end DeveloperContributions:3264 reviews, 2390 commits, 2523 PRs in 4 years 5 months
Contributions summary:Michael primarily focused on implementing core components of the Plutus Core language implementation and its tools. Their contributions centered on modifying and adding to the low-level aspects of the system. They implemented fixes in the internals of the project, including adding a feature to the serialization of scripts, and also refactoring the CEK machine.
programming-languageblockchainsmart-contractsplutus
input-output-hk/haskell.nix
Jun 2019 - Jan 2023
Alternative Haskell Infrastructure for Nixpkgs
Role in this project:DevOps Engineer
DevOps EngineerContributions:228 reviews, 52 commits, 96 PRs in 3 years 7 months
Contributions summary:Michael primarily focused on improving the build and CI/CD infrastructure of the project. Their contributions include fixing the `shell.nix` file, adding functions for collecting checks, and refactoring the `ci.nix` file by introducing dimensions for clearer build matrix structuring. They also improved the materialization process by adding scripts for fixing materialized files and shas, and they updated the nixpkgs pins.
ghcnix-expressionshaskellinfrastructurenixos
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.