À propos de Willem
Hi! I’m a genuine mathematician who loves solving challenging software and hardware problems in biotech, robotics, autonomous vehicles, distributed systems and related fields.
My passion is formal software verification using Coq or Lean.
I have a wide array of skills available such a creating web applications, building databases, software architecture, advanced testing, many languages, advanced mathematical, statistical principles and so on.
Anglais
Bilingue ou natif
Néerlandais
Bilingue ou natif
Français
Capacité professionnelle limitée
Allemand
Notions
Accepte de travailler sur site
Gent (jusqu’à 50 km)
Expériences
- SysghentCommunity founder & teacherEDUCATION & E-LEARNINGdécembre 2024 - Aujourd'hui (1 an et 6 mois)Gent, BelgiqueOrganise networking events, in-depth talks and workshops in Ghent about systems programming languages such as Rust and C++. Most popular workshops were about making a smart home device with Rust and the mathematical proof assistant Lean.See https://sysghent.be.
- OTIV (Railway automation)Software engineerTRANSPORTSavril 2024 - juin 2025 (1 an et 2 mois)Ghent, Belgium• Distributed systems: Remote freight train control system, async iterator toolkit, real-time connectivity monitoring, video and telemetry streaming, state machines. (Rust, Tokio)• Developer tooling & IDE integration: Created custom tooling to integrate Rust LSP, Clippy linting, and formatting with Bazel build system. Implemented lint-on-save functionality. Helped with technical migration from Bazel to Cargo for better developer experience. (Rust)• Real-time user interfaces: Multi-monitor desktop application, live-streaming data tables. (Rust, Slint)• Embedded systems: Developed software for real-time hardware control (touchscreens, physi cal levers, sensors).
- Inbiose (Biotechnology)Software engineerBIOTECHNOLOGIESjuin 2021 - avril 2024 (2 ans et 10 mois)Ghent, Belgium• Collaborative scientific interfaces: Built large-scale collaborative web application for biotech nological process data management. Real-time multi-user data grids, D3.js time-series visualizations, automated data parsing from scientific instruments. (TypeScript, JavaScript, Svelte, D3 . js)• Industrial control: Automatic control industrial fermentation robot, integrate optical sensors. (Python, Rust, C++)
Recommandations
Soyez le premier à recommander Willem
Contribuez à la réussite de ce freelance en partageant votre expérience de collaboration avec lui.
Ces profils de freelance correspondent également à vos critères
Agatha Frydrych
Backend Java Software Engineer
4.7
(3)
2
Baptiste Duhen
Fullstack developer
4.6
(4)
5
Amed Hamou
Senior Lead Developer
4
(2)
7
Audrey Champion
Web developer
4.3
(3)
4
Formations
- Master of Pure MathematicsKU Leuven2019Preparation program and Master of Science in