Jaap Boender
Software Formal Verification Engineer
Munich, Bavaria, Germany
Summary
👤
Senior🎓
Top SchoolJaap Boender is a Software Formal Verification Engineer with 18 years of experience applying theorem proving and formal methods to practical, security-critical systems. Currently at Apple after contributing to microkernel verification at HENSOLDT Cyber, he bridges deep theoretical computer science with hands-on engineering to make operating systems auditable and trustworthy. His academic background includes a PhD from Université Paris Diderot and senior teaching and research roles at Middlesex University and European institutions, reflecting a strong record in foundations of computing. Known for tackling real-world verification problems, he combines rigorous proofs with pragmatic system-level insight to deliver verifiable software in high-assurance contexts.
18 years of coding experience
5 years of employment as a software developer
MSc, MSc at Radboud UniversityVWO, VWO at Stedelijk Gymnasium NijmegenPhD, PhD at Université Paris Diderot
Dutch, English, French, German, Italian, Polish, Greek
Github Skills (84)
agda10
bitbake10
mathematical10
dependent-types10
proofs10
cvs10
starlark10
coq10
homotopy-type-theory10
netbsd10
executable10
sat-solver10
bsd10
package10
theorem-proving10
Programming languages (5)
Github contributions (5)
jaapb/opaline
Apr 2018 - Dec 2020
OPAm Light INstaller Engine
Contributions:8 releases, 15 commits, 2 PRs in 2 years 8 months
installerlightopam
jaapb/sandbox
Nov 2015 - Oct 2018
Contributions:1 release, 31 PRs, 103 pushes in 2 years 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.