Overview
Technologies
Salaries
Products
People
Growth
Offices
Jobs
Financials

Overview

MLabs is a software engineering firm specialising in functional programming and formal methods, working largely on blockchain protocols, smart contracts and high-assurance systems. Its engineers work predominantly in Haskell and related languages, which is unusual commercially and gives it a niche in projects where correctness has to be demonstrated rather than tested, particularly in the Cardano ecosystem. Registered in London and operating as a distributed organisation, it takes on protocol development, audit and formal verification work for clients whose systems hold value that a defect would put directly at risk.

Tech stack

Technologies named in job postings at MLabs over the last 12 months, by layer, with the share of postings for each.
Technologies in use
164
Postings analysed
73
Stack modernity
83/100AI adopter
Languages
Python36%
TypeScript34%
JavaScript32%
Rust32%
Frameworks & libraries
React.js21%
Ethers.js10%
Next.js5%
Dagster4%
Databases
PostgreSQL27%
Redis12%
ClickHouse12%
Google BigQuery7%
Cloud & platforms
AWS34%
Kubernetes23%
Grafana12%
Apache Kafka12%
AI & ML
LLM14%
Claude3%
LoRA1%
PEFT1%
Sign in to see how your skills match this stack Sign In
Full MLabs tech stack 164 technologies · by team · pay by technology · changes · similar stacks

Salary insights

Compensation ranges based on this company's open jobs
Median
$179k
Typical range
$79k – $250k
Open positions
6
1 Jobs
Staff 100%
Level Jobs Median Typical range
Staff 1 $199k $199k
Highest paying role Trading Infrastructure Engineer $250k
Normalized to USD per year

Products

Haskell Engineering
General functional programming consultancy for clients with high-assurance requirements. The talent pool is small enough that the firm's ability to recruit within it is itself a durable competitive position.
mlabs.city
Smart Contract Audit
Independent review of contract code before it is deployed to a live chain. Auditors are held to account by their published reports, which makes reputation the entire asset in this particular line of work.
mlabs.city
Formal Verification
Mathematical proof that code behaves according to its specification. Testing shows the absence of known bugs while verification shows the absence of whole classes of them, which matters when funds are at stake.
mlabs.city
Protocol Engineering
Development of blockchain protocols and smart contract systems. Functional programming is a deliberate choice here, because a defect in deployed contract code cannot be patched and may be directly exploitable.
mlabs.city

Growth

Hiring Momentum
88/100
Scaling fast
Open positions
10
7 opened / 20 closed in 30 days
Median time-to-fill
76 days
faster than 21% of the market
ATS activity
Every ~4 hours
Today
Hiring Dynamics +100%
Hiring Focus
The percentage next to each role is its share of the company's job openings over the last 90 days; the arrow shows the shift versus the previous period.
Backend
37%
Data Science
10% ▼
DevOps
10% ▲
Web3
7% ▼
Finance
5% ▼
HR
5% ▼
Activity Timeline
Added Configuration Management to stack Sep 2026
Added AWS Fargate to stack Sep 2026
Added Windows to stack Sep 2026
Added Ubuntu to stack Sep 2026
Added Linux to stack Sep 2026
Added VPN to stack Sep 2026
Added DLP to stack Sep 2026
Added Machine Learning to stack Sep 2026
Added Active Directory to stack Sep 2026
Added Wi-Fi to stack Sep 2026
Added PKI to stack Sep 2026
New location: Bengaluru Sep 2026

Offices

Where the company hires and what each office is for
Cities
5
Hiring now
5
Countries
3
Busiest office
London
Loading the map
Headquarters Builds here Office with open vacancies Tap a pin for the office
London United Kingdom
HQ
4 open roles 5 posted in 90 days 50% engineering 10-50 est. staff $139k Avg Salary
hires for Backend, Support, Industrial Engineering
seen since Nov 2025 job postings
New York United States
Regional office
3 open roles 9 posted in 90 days 67% engineering 33% remote 50-200 est. staff $267k Avg Salary
hires for Backend, DevOps, Leadership
seen since Nov 2025 job postings
San Francisco United States
1 open roles 1 posted in 90 days 100% engineering 1-10 est. staff $200k Avg Salary
hires for Robotics
seen since May 2026 job postings
Ashburn United States
1 open roles 100% engineering 1-10 est. staff $150k Avg Salary
hires for DevOps
seen since Dec 2025 job postings
Bengaluru India
1 open roles 1 posted in 90 days 100% engineering 1-10 est. staff
hires for QA
seen since Sep 2026 job postings
Earlier presence
Shanghai, China 3 open roles · last posting Jun 2026
Dallas, United States 3 open roles · last posting Aug 2026
Singapore, Singapore 2 open roles · last posting Jun 2026
Austin, United States 2 open roles · last posting Jul 2026

Jobs

$150k – $200k per year • In office • San Francisco
Apply
≈ $79k – $188k per year (Estimated) • Hybrid • London
PostgreSQL
DynamoDB
Amazon Aurora
AI/ML
Claude
DevOps
GitHub Actions
CI/CD
AWS
AWS Fargate
AWS Lambda
Apply
$66k – $80k per year • Hybrid • London
Ansible
Ubuntu
Linux
Windows
Apply
$119k – $159k per year • Remote (Europe, Canada)
PostgreSQL
DevOps
Ansible
GCP
Azure
CI/CD
AWS
Configuration Management
Cybersecurity
Active Directory
Apply
≈ $19k – $48k per year (Estimated) • In office • Bengaluru
Apply
≈ $82k – $197k per year (Estimated) • In office • London
JavaScript
TypeScript
ClickHouse
OpenSearch
AI/ML
AI Agents
LLM
RAG
Frontend
Next.js
React.js
DevOps
Datadog
AWS
Management
Stripe
Agile
Apply
$125k – $150k per year • Equity • Hybrid • Ashburn
Terraform
Ansible
GCP
Prometheus
Azure
AWS
Docker
Kubernetes
Grafana
Apply
≈ $168k – $279k per year (Estimated) • Equity • Remote (United States, GMT hours)
Python
Go
JavaScript
TypeScript
Node JS
PostgreSQL
Redis
ClickHouse
TimescaleDB
Google BigQuery
BigQuery
AI/ML
Model Context Protocol
vLLM
AI Agents
TensorRT
TensorRT-LLM
TGI
LLM
Anthropic
DevOps
WebSockets
CI/CD
AWS
Kubernetes
Amazon EKS
Apply
$200k – $250k per year • Equity • In office • New York
Solana
Uniswap
MEV
dYdX
Apply