Jeroen Meijer
Software Architect at DISH Digital Solutions
Greater Enschede Area Netherlands
Summary
👤
Senior🎓
Top SchoolJeroen Meijer is a Software Architect with 12 years of experience designing and implementing distributed systems, currently splitting his time between DISH Digital Solutions and Eijsink in the Greater Enschede area. He holds a PhD in Computer Science from the University of Twente, where his dissertation focused on efficient learning and analysis of system behavior—bringing formal verification and research-grade rigor to practical architecture decisions. Previously a tech lead and long-term engineer at Eijsink, he combines hands-on coding with leadership in system design, model checking, and verification tooling. His background includes improving symbolic algorithms for the LTSmin model checker and high-scoring industry internships, signaling a rare blend of deep theoretical knowledge and production delivery.
12 years of coding experience
10 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of TwenteVWO, VWO at Twents Carmel College DenekampMaster of Science (MSc), Computer Science - Methods and Tools for Verification, Master of Science (MSc), Computer Science - Methods and Tools for Verification at Universiteit TwenteVWO, Natuur & Techniek, VWO, Natuur & Techniek at Twents Carmel College Oldenzaal
Dutch, English
Github Skills (139)
promela10
lambda10
groovy10
guava10
verification10
java10
spring-boot10
automata10
dfa10
gradle10
kotlin10
debug10
spring10
jsinterop10
sam10
Programming languages (11)
Github contributions (5)
utwente-fmt/buddy
Jan 2015 - Aug 2017
Contributions:1 release, 3 commits, 2 pushes in 2 years 7 months
utwente-fmt/divine2
Jan 2015 - Apr 2017
Contributions:5 releases, 21 pushes, 2 branches in 2 years 3 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.