Arend Mellendijk
Gendringen, Gelderland, Netherlands
Summary
🤩
Rockstar🎓
Top SchoolArend Mellendijk is a software engineer with a strong theoretical foundation—an Oxford MMath/MSc in Mathematics and Computer Science (Distinction) and a First at undergraduate level—who pairs rigorous academic reasoning with practical development experience. A two-time IOI Bronze medallist, he has interned in production teams (Softwire, Netcraft) building resilient systems such as a custom email queueing solution, and pursues personal projects in machine learning and formal verification. He contributes to Mathlib, having formalised the main result of his Master's dissertation, showing uncommon fluency in both theorem proving and applied engineering. Based in the Netherlands, he brings 11 years of hands-on experience and a track record of turning formal insights into working software.
10 years of coding experience
Master's degree, Mathematics and Computer Science, Undergraduate: First, Master's: Distinction, Master's degree, Mathematics and Computer Science, Undergraduate: First, Master's: Distinction at University of Oxford
Github Skills (8)
mathematics10
theorem-proving10
computer-algebra-system10
in-progress10
math9
computer-algebra9
data-structures1
java1
Programming languages (4)
Github contributions (5)
FLDutchmann/BusBoard-Java
Jul 2021 - Mar 2025
Bus departure board exercise in Java
Contributions:1 review, 2 PRs, 8 pushes in 3 years 8 months
busdeparture-boardjavadepartureboard
FLDutchmann/pfr
Nov 2023 - Nov 2024
Contributions:35 pushes, 3 branches in 11 months
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.