Jack Valmadre
Machine Learning Researcher at Stealth Robotics Startup
Adelaide, South Australia
Summary
🤩
Rockstar🎓
Top SchoolJack Valmadre is a machine learning researcher with 13 years of experience applying advanced computer vision and probabilistic methods across academia, industry, and startups. He holds a PhD in computer vision and has held roles from PhD student at CSIRO to post-doc at Oxford, research scientist at Google, and senior research fellow at the Australian Institute for Machine Learning. Jack now contributes to a stealth robotics startup while also formalizing mathematics—having formalized over 100 theorems in Lean/Mathlib—showing a rare blend of practical ML engineering and formal-methods rigor. His background spans end-to-end research and product-focused work, including translating cutting-edge research into deployable systems. Based in Adelaide, he pairs deep theoretical expertise with hands-on experience in robotics and vision, often bridging gaps between proofs, models, and real-world deployments.
13 years of coding experience
3 years of employment as a software developer
Bachelor of Engineering, Mechatronic, Bachelor of Engineering, Mechatronic at The University of QueenslandPhD, Computer vision, PhD, Computer vision at Queensland University of Technology
English, French, Italian
Stackoverflow
898reputation
30kreached
8answers
9questions
Github Skills (106)
benchmark10
python10
matconvnet10
deep-learning10
computer-science10
object-tracking10
in-progress10
ml10
computer-algebra-system10
neural-network10
object-detection10
science10
data-science10
mathematics10
tensorflow10
Programming languages (10)
Github contributions (5)
jvlmdr/golp
Oct 2013 - Mar 2015
Contributions:23 commits, 6 pushes, 1 branch in 1 year 5 months
oxuva/long-term-tracking-results
Jul 2018 - Aug 2018
Contributions:14 commits, 10 pushes, 1 branch in 24 days
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.