Lead Software Engineer | Full-Stack Production Systems | Scientific & Industrial Software
Remote (relocating to Valencia, Spain) · Python · Flutter · Docker
I design and build production systems from scratch — architecture, backend, frontend, deployment — for scientific, industrial, and startup teams.
Lead Developer. Built a production LIMS from scratch for a UKAS-accredited marine geotechnical laboratory: instrument data parsing, reporting, zero-downtime deployment. Stack: FastAPI/Flask · Flutter · PostgreSQL · Docker · Hetzner GQMLab
Co-founder & Lead Developer. AI-powered sailing apps in Flutter (frontend) and Python (backend) — route planning, weather intelligence, boat maintenance. Three products: SailGenius · Galley · ShipShape. forza7.dev
Cross-industry clients including NHS. iOS/Android apps, backend integration, deployment pipelines.
A relations-first quantum programming language where entanglement is a first-class citizen, not a derived concept. Introduces causal structure as a type-level primitive — the type system can prove whether a quantum process is causally nonseparable (Soundness Theorem).
- ~13,600 lines · hardware-verified: Bell state on Quandela's qpu:belenos 12-qubit photonic QPU (S = 2.61 ± 0.08)
- Implements process matrices (Oreshkov 2012), causal witnesses (Araújo 2015), quantum causal models (Allen 2017), categorical QM (Coecke & Kissinger 2017)
- Paper in preparation
dcoldeira.github.io — posts on quantum physics, computing, and the ideas behind QRL.