Looking for work (Data, AI, Chemistry, Programming)
BSc Chemistry (Chemistry of Life), now focused on formal mathematics in Lean, Python development, and applied AI/ML.
Groningen, The Netherlands
I graduated from the University of Groningen with a BSc in Chemistry and shifted deeper into mathematics and programming. For my Bachelor Thesis, I worked on Evaluating and Optimizing Graph Neural Nets for NMR prediction; Hyperparameter Opts, Data cleaning, and Evals. After my graduation, I started to contribute to formal mathematics in Lean and work on Project Euler in my free time. I have the only solve of problem 9 in Lean, done fully agentically. As referenced in Daniel Litt's article.
Languages: Dutch and English.
I started out by working through Project Euler problems, alongside Codewars to work on programming and mathematics. I then realized that instead of puzzles, I wanted to contribute to something, starting on PrimeNumberTheoremAnd in Lean. PNT+ Contributions: PrimeNumberTheoremAnd activity. During the firstproof challenge, In 4 days I managed to setup a fully autonomous worker, autonomously solved problem 9, and proved it in Lean in the remaining 3.5 days.
My journey with AI started with early Disco Diffusion images in Google Colabs, then AI Dungeon with GPT-2. I've always kept up with the latest developments, AlphaGo, GANs, and during late high school I read most of the important papers to at least familiarize myself with them. This ended up becoming useful when RLGym was released, when I created (Bad) rocket league ML bots during uni, combining two hobbies. Eventually, I managed to get into the Chem-AI lab of Robert Pollice to perform my thesis, which was specifically to evaluate and optimize an in-house NMR prediction model. During which, the only consistent real dataset of shift+shape+multiplicity was created, evaluated, and trained against.
This project automates job tracking from vacancy discovery to inbox triage. It extracts job pages into JSON schemas, scores roles by fit and preference, and updates application states from Gmail messages.
Collection-of-Projects is a notebook archive from my university years. It includes immigration trend analysis, COVID scenario modeling, and smaller data tooling experiments.
I maintain a few small utility repositories for log parsing, transcription workflows, and data extraction. These are compact tools built for specific practical tasks.
Lean Formalization Contributor, Open Source (2025-present). I contribute to Lean projects in number theory and analysis and work on scalable proof tasks. Chemistry Research, University of Groningen (2024-2025). I completed a bachelor thesis on NMR prediction with graph neural networks and worked in BSL-2 lab settings. Bug Tester and Project Lead, Teamspot (2022-2024). I worked as a general support, supported school rollout, and bugtested. Support Engineer and Proctor, Odido and Chess.com (2022-2025). I handled troubleshooting, user support, moderation, internation event proctoring, and process improvements.
For Project Euler and Codewars, I use VS Code with simple notes and pen-and-paper work. For Lean and BaanSolliciteren, I work locally with Git and Python scripts with Codex. For older notebooks, I used Google Colab when that was the quickest path.
I am open to collaborations in formal mathematics, applied AI/ML, and data projects. If your team is hiring in these areas, feel free to contact me.
Email: tomthegreatest04@gmail.com LinkedIn: linkedin.com/in/tomodovodoo Phone: +31 6 31490416