Michael Schmidt
Principal ML Engineer at Ix
Denver, Colorado, United States
Summary
👤
Senior🎓
Top SchoolMichael Schmidt is a Principal ML Engineer in Denver with 12 years of experience building mathematically rigorous, production-ready AI systems that prioritize interpretability and uncertainty quantification. He specializes in Bayesian methods—Gaussian processes, change-point detection, and probabilistic novelty detection—and has applied them across agriculture, healthcare, law, and finance to deliver actionable forecasts and decision tools. At Redpoll and Ix he led DARPA-linked research and deployed models for time-series inference and reinforcement learning under uncertainty, while at CiBO delivered a crop-yield forecast with industry-leading accuracy. With an MS in Physics, ongoing PhD work in Applied Mathematics, and a background spanning DevOps, teaching, and high-performance computing, he blends deep theory with pragmatic engineering. Colleagues describe him as a researcher-engineer who turns complex probabilistic ideas into transparent tools for real-world impact.
12 years of coding experience
10 years of employment as a software developer
Doctor of Philosophy - PhD Applied Mathematics, Doctor of Philosophy - PhD Applied Mathematics at University of Colorado DenverMS Physics, MS Physics at University of Colorado Boulder
English, Latin
Stackoverflow
696reputation
649kreached
1answer
0questions
decimal
top-5%
Github Skills (28)
dm-crypt10
bayesian10
lvm9
luks9
decimal9
rust8
initramfs8
identifier7
machine-learning7
opencv7
shell6
ulid6
uuid6
nodejs6
python6
Programming languages (7)
Github contributions (5)
promised-ai/changepoint
Feb 2023 - Oct 2025
A toolkit for Bayesian change point detection
Contributions:10 releases, 1 review, 17 PRs in 2 years 7 months
bayesianchangepoint-detectionrust
promised-ai/lace
Mar 2023 - Mar 2026
A probabalistic ML tool for science
Contributions:4 releases, 79 reviews, 55 PRs in 3 years
machine-learning
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.