Project cooperationUpdated on 21 July 2025
Enabling Secure, Efficient Urban Infrastructure through OCaml and Unikernels
About
-
Who We Are
-
We are a deep-tech company based in France. We use OCaml and MirageOS unikernels for high-assurance, memory-safe software. We also operate in the UK and India.
-
MirageOS is an operating system that constructs unikernels for secure, high-performance applications across various cloud computing and mobile platforms.
-
OCaml is an industrial-strength functional programming language with a powerful type-safe system and a high-performance language that helps build complex software systems.
-
We specialise in secure, lightweight, energy-efficient software for IoT, edge computing, and critical digital infrastructure, ideal for smart cities.
-
We have over a decade of experience in open-source compiler technology, embedded systems, and cybersecurity, with solutions deployed in space, finance, and IoT.
-
-
What We Offer to DUT 2025 Projects
-
Cyber-Resilient Edge Computing Solutions: Minimal, verifiable OCaml-based runtimes for secure, long-lived edge nodes in smart energy, transport, or environmental networks.
-
Energy-Efficient Smart City Infrastructure: MirageOS unikernels reduce software overhead by up to 90%, making them suitable for positive-energy districts and low-power urban sensors.
-
Open, Sovereign, European Software Stack: 100% open-source tooling (compiler, build system, package manager) rooted in European research (Inria, OCaml.org), supporting technological sovereignty.
-
Developer Tooling and Urban Lab Enablement: Full-stack developer experience: build pipelines, onboarding kits, and SDKs for civic tech teams, labs, or smart-city innovation hubs.
-
-
Where We Fit in DUT 2025
-
Technology Partner for low-latency, secure-by-design software components in Positive Energy Districts or Urban Data Spaces.
-
Work Package Leader for cyber-resilience, software sustainability, or secure digital infrastructure.
-
Training / Dissemination Partner via open workshops and developer engagement (OCaml ecosystem).
-
-
We Are Looking to Partner With:
-
City authorities / urban labs seeking secure, energy-efficient IoT platforms.
-
Smart energy/mobility SMEs needing embedded runtimes with verifiable safety.
-
Universities/research centres developing digital twins, data-driven city platforms, or resilient systems.
-
Topic
- CUE topic 1 – Resilient green and social infrastructure
- PED topic 1 – Driving a just transition: PED strategies in social and subsidised housing
- PED topic 2 – Ensuring positive socio-economic impact: PEDs in local economies and energy markets
- PED topic 3 – PEDs in urban heating and cooling strategies
Type
- Looking to join a project
Organisation
Similar opportunities
Project cooperation
Secure, sustainable digital infrastructure tailored for urban food system projects
- Looking to join a project
- CUE topic 1 – Resilient green and social infrastructure
Ganesh Narayanan
Operations Manager at Tarides
Paris, France
Project cooperation
Join our project. Looking to form a consortium.
- Looking for partners to join a project
- PED topic 3 – PEDs in urban heating and cooling strategies
- 15mC topic 3 – Mobility policymaking in context of radical contestation
- 15mC topic 2 – Reimagining parking – transforming urban parking policies
- PED topic 1 – Driving a just transition: PED strategies in social and subsidised housing
- 15mC topic 1 – Next steps for multimodal urban mobility, building on the travel experience
- PED topic 2 – Ensuring positive socio-economic impact: PEDs in local economies and energy markets
Adelin Lazar
Managing Director at URBAN20202
Bucharest, Romania
Project cooperation
- Looking to join a project
- Looking for partners to join a project
- CUE topic 1 – Resilient green and social infrastructure
- PED topic 3 – PEDs in urban heating and cooling strategies
- CUE topic 2 – Sustainable tourism – circular benefits and challenges
- 15mC topic 3 – Mobility policymaking in context of radical contestation
- 15mC topic 2 – Reimagining parking – transforming urban parking policies
- CUE topic 3 – Public procurement to foster urban greening and circularity
- PED topic 1 – Driving a just transition: PED strategies in social and subsidised housing
- 15mC topic 1 – Next steps for multimodal urban mobility, building on the travel experience
- PED topic 2 – Ensuring positive socio-economic impact: PEDs in local economies and energy markets
Adelin Lazar
Managing Director at URBAN20202
Bucharest, Romania