Freelance ML Engineers in EnglandFreelance ML Engineers in England
ProjectsPeople
Satyawan Singh's avatar
Satyawan Singh
Leicester, UK
AI/ML engineer who builds custom models, not wrappers.
New to Contra
AI/ML engineer who builds custom models, not wrappers.
Cover image for I just launched cargo-vouch, an
I just launched cargo-vouch, an open-source Rust tool that proves a function can't panic. No tests to write, no annotations to add. Point it at a .rs file, and it builds a Kani proof harness for every function, then checks every input in bounds. Each function comes back with one of four verdicts: 🔴 BUG, with the exact input that triggers the panic 🟡 UNGUARDED, safe except at type extremes like i32::MAX 🟢 VERIFIED, provably panic-free ⏳ INCONCLUSIVE, when it cannot decide Why I built it: AI writes Rust that passes cargo test, then panics on an edge input nobody tried. For example, numbers.iter().sum() looks fine until something hands it [i32::MAX, 1]. I ran it on 11 functions GPT-4o wrote and graded. GPT-4o's own grading got 4 of them wrong: it passed three that overflowed and failed one that was fine. cargo-vouch called all four correctly, with the triggering input for each real panic. The honest limit: it is built for loop-light code. Parsers and loop-heavy functions return INCONCLUSIVE, never a false pass. I would rather say that than oversell it. If you write Rust, I would like your feedback. Repo - https://lnkd.in/eHirVFQq (https://lnkd.in/eHirVFQq)cargo install cargo-vouch #rustlang (https://www.linkedin.com/search/results/all/?keywords=%23rustlang&origin=HASH_TAG_FROM_FEED) #opensource (https://www.linkedin.com/search/results/all/?keywords=%23opensource&origin=HASH_TAG_FROM_FEED) #formalverification (https://www.linkedin.com/search/results/all/?keywords=%23formalverification&origin=HASH_TAG_FROM_FEED)
0
30
Cover image for Stigmergic consensus for multi-agent /
Stigmergic consensus for multi-agent / multi-model systems. A learned, stateful alternative to majority vote and self-consistency: agents deposit weighted signals into a shared pool, a short truth-discovery loop converges on consensus, and cross-run pheromone memory teaches the swarm which agents to trust. Pure Python, zero dependencies, provider-agnostic.
0
33
Cover image for AI/ML Engineering Custom Models, Agents & Systems
AI/ML Engineering Custom Models, Agents & Systems
0
4
Cover image for PRAXIS is my MSc dissertation
PRAXIS is my MSc dissertation project at the University of Leicester: an end-to-end deep-learning system for voice-based biomarkers, designed and built from scratch. I architected and implemented the full pipeline: a self-supervised speech representation model plus a downstream biomarker system, and contributed multiple novel technical and methodological advances, documented in a 15,000+ word dissertation with full research rigour. What I did: Designed a custom deep-learning architecture for speech/audio (self supervised learning + domain adaptation) Developed several original contributions in [voice-biomarker modelling/representation learning] (kept high-level to protect the method) Built a reproducible, rigorously evaluated pipeline end-to-end: data → model → results
0
74
ML Engineer(4)
Ademola Afolabi's avatar
Ademola Afolabi
London, UK
AI-Driven Full Stack & Architecture Solutions
6
Followers
AI-Driven Full Stack & Architecture Solutions
Cover image for Introducing Beacon AI Beta: Get Cited by AI. Get Found by Cu...
Introducing Beacon AI Beta: Get Cited by AI. Get Found by Customers. We are thrilled to announce the launch of Beacon, our AI Search Visibility Platform, now available in beta. As AI search engines like ChatGPT, Perplexity, Claude, and Google AI become increasingly central to how people find information, visibility across these platforms is critical. Beacon gives you the intelligence you need to own search — both traditional and AI. Beacon doesn't just show you data — it tells you what to do with it. Our AI-powered recommendations provide specific, actionable insights to improve your presence across traditional search and AI platforms. Get started free at hellobeacon.ai (http://hellobeacon.ai). No credit card required.
3
28
337
Cover image for MyType ML/AI Dashboard
MyType ML/AI Dashboard
2
23
Cover image for Motoring Assistance CRM
Motoring Assistance CRM
2
28
Cover image for Online Content Media Engine API
Online Content Media Engine API
1
27
ML Engineer(2)
Do Yeoun Lee's avatar
Do Yeoun Lee
London, UK
Affordable AI - Maximizing Your Investments.
Affordable AI - Maximizing Your Investments.
Cover image for AI-Driven Automotive Analytics Platform
AI-Driven Automotive Analytics Platform
0
3
Cover image for 3D Modelling
3D Modelling
0
2
Cover image for AI Automation | CRM & Project Management
AI Automation | CRM & Project Management
0
3
Placeholder project card media
View more →
ML Engineer(2)
Samuel Momodu's avatar
Samuel Momodu
Newcastle upon Tyne, UK
Using data to drive business success.
Using data to drive business success.
Cover image for Samuel Momodu 💼 - Web Analytics
Samuel Momodu 💼 - Web Analytics
0
11
Cover image for Samuel Momodu 💼 - Strategy Effect Measurement
Samuel Momodu 💼 - Strategy Effect Measurement
0
27
Cover image for Data Style Guide
Data Style Guide
0
17
Placeholder project card media
View more →
ML Engineer(1)
uzair sufi's avatar
uzair sufi
London, UK
Designing and building seamless web experiences.
New to Contra
Designing and building seamless web experiences.
Cover image for Lexa — Tackxel case study
Lexa — Tackxel case study
0
5
Cover image for LuxeLocker — Tackxel case study
LuxeLocker — Tackxel case study
0
4
Cover image for Lexa — AI Legal Assistant
Lexa — AI Legal Assistant Chatbot Lexa is Pakistan's first AI-powered legal assistant, built to provide lawyers and law students with instant legal guidance 24/7. Its core chatbot uses AI to simplify complex legal queries, offering quick access to statutes, case laws, and over 2.5 lac judgments. Beyond chat, the platform supports legal drafting templates, MCQ practice for the GAT exam, and detailed judgment analysis — making legal research faster, more accurate, and accessible anytime, anywhere.
1
41
Cover image for Thrill Pay — Buy Now, Pay Later App Thrill Pay is a Buy Now,...
Thrill Pay — Buy Now, Pay Later App Thrill Pay is a Buy Now, Pay Later application that integrates directly with your banking app. It checks your credit score to determine whether you're eligible for BNPL purchases, then lets you buy a range of gift cards on flexible payment terms. I led the UI/UX research and handled the front-end development for the project.
1
35
ML Engineer(1)