Over 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.
Engels
Tweetalig / moedertaal
Nederlands
Tweetalig / moedertaal
Frans
Beperkte professionele capaciteit
Duits
Basiskennis
Kan op locatie werken
Gent (tot 50km)
Werkervaring
- SysghentCommunity founder & teacherONDERWIJS & E-LEARNINGdecember 2024 - Vandaag (1 jaar en 6 maanden)Gent, BelgiëOrganise 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 engineerTRANSPORT & LOGISTIEKapril 2024 - juni 2025 (1 jaar en 2 maanden)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 engineerBIOTECHNOLOGIEjuni 2021 - april 2024 (2 jaren en 10 maanden)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++)
Aanbevelingen
Wees de eerste die Willem aanbeveelt
Help deze freelancer om te schitteren door te vertellen hoe het is om met hem of haar te werken.
Deze freelancerprofielen matchen ook met zoekopdracht.
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
Opleidingen
- Master of Pure MathematicsKU Leuven2019Preparation program and Master of Science in