Careers
We are a group of mathematicians turned engineers, based in Belgium, Europe. We work on applied cryptography, formal verification, and AI tooling, from zero-knowledge proof systems to machine-checked proofs in Lean 4.
Our offices are based in Belgium, but we are open to candidates from everywhere.
Open positions
We have no open positions right now.
If you think your work fits what we do, we still want to hear from you. Send us a note atcareers@badaas.be and tell us what you would like to work on.
Internships
We are always interested in talented students.
If you are studying mathematics, computer science, or a related field and want to work on applied cryptography, zero-knowledge proof systems, post-quantum cryptography, formal verification in Lean 4, or open-source infrastructure, we would like to hear from you. Internships can be tailored around your interests and ongoing research.
We are particularly interested in mathematicians with an interest in applied abstract algebra, category theory, logic, type systems, theoretical physics, and related areas. If that sounds like you, we would be glad to find a project that fits.
Our interns work directly with the founder,Danny Willems, whose interests are broad across mathematics.
We are actively looking for funding to give our interns the best possible conditions, and we help them bootstrap their careers, whether they head toward industry or academia. We always have master thesis subjects to discuss, so we are open to talk with talented students at any time.
Reach out atcareers@badaas.be with a short introduction, your CV, and what you would like to explore with us.