Gijs Kant
Technical Lead at Picnic Technologies
Randstad, Netherlands
Summary
🤩
Rockstar🎓
Top SchoolGijs Kant is a technical lead and software architect with 15 years of experience building production-grade web and data platforms, currently leading engineering at Picnic Technologies while pursuing formal verification research. He combines hands-on expertise across Java, Spring, TypeScript, React/Angular, Python and Kubernetes with a strong background in research data management and open-source solutions developed at The Hyve. A PhD student in formal verification at the University of Twente, he brings rigorous modelling and verification practices to enterprise architecture and microservices design. Gijs is fluent in requirements analysis, BPMN-driven business process modelling and DevOps automation, and emphasizes testable, maintainable systems and OWASP-aware security. Based in the Randstad, he blends academic depth with pragmatic delivery—often steering projects from consultancy and specification through implementation and automated deployment. An uncommon mix of formal methods training and extensive applied engineering makes him adept at architecting auditable, quality-focused software for complex domains.
15 years of coding experience
12 years of employment as a software developer
MSc Computer Science, MSc Computer Science at University of TwenteSAT/SMT Summer schoolGreijdanus College
Stackoverflow
46reputation
4kreached
2answers
0questions
Github Skills (127)
converting10
data-warehouse10
metadata10
genetic10
csv10
java10
csv-parser10
rdf10
portal10
open-source10
webdav9
abstract-syntax-tree9
compile-time9
ecology9
promela9
Programming languages (16)
Github contributions (5)
thehyve/pg_bitcount
Mar 2018 - Apr 2021
PostgreSQL extension providing a bitcount function.
Contributions:7 releases, 46 commits, 23 PRs in 3 years 1 month
postgresqlpostgresql-extension
thehyve/data-showcase
Oct 2017 - Jul 2020
A data showcase for displaying a summary of data in TranSMART.
Contributions:2 releases, 50 PRs, 76 pushes in 2 years 8 months
showcasetransmart
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.