About 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.
English
Native or bilingual
Dutch
Native or bilingual
French
Conversational
German
Basic
Can work on-site
Gent (up to 50km)
Experience
- SysghentCommunity founder & teacherEDUCATION AND E-LEARNINGDecember 2024 - Today (1 year and 6 months)Gent, BelgiumOrganise 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 engineerTRANSPORTATIONApril 2024 - June 2025 (1 year and 2 months)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 engineerBIOTECHJune 2021 - April 2024 (2 years and 10 months)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++)
Recommendations
Be the first to recommend Willem
Help this freelancer shine by sharing your experience working together.
These freelancer profiles also match your criteria
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
Education
- Master of Pure MathematicsKU Leuven2019Preparation program and Master of Science in