Open to opportunities

Daniel Adeboye

@danieladeboye

Message

I am a lead machine learning engineer specializing in scalable, reliable AI systems and formal verif

United Kingdom

Message

What I'm looking for

I seek senior ML/AI roles building production-grade, reliable AI systems using formal methods, mentoring teams, and driving research-to-production impact in mission-driven organizations.

I design and build production-grade AI backends and real-time optimization systems with a focus on correctness, reliability, and security.

I have engineered real-time optimization algorithms to reduce carbon footprints, developed constraint‑solving decision engines, improved text recognition models, and built personalized audio‑to‑text chat services and video analysis pipelines for recruitment and healthcare platforms.

I publish and research reasoning, self‑supervised learning, multi‑agent systems, LLMs, and retrieval systems, and I mentor junior engineers while seeking opportunities to translate research into robust, impactful production systems.

Experience

Work history, roles, and key accomplishments

Current

Lead Machine Learning Engineer

Current

Oaks Intelligence

May 2024 - Present (1 year 3 months)

Designed real-time optimization algorithms to minimize Carbon-Adjust users' carbon footprints. Architected a modular, AI backend with CI/CD pipelines and scalable database services, applying specification and validation to ensure reliability and security.

Backend CI CD Databases Spécification Validation Machine Learning

Current

Mentor

Current

African Institute of Technology and Innovation

Jan 2024 - Present (1 year 7 months)

Conduct weekly code reviews for assigned mentees and facilitate bi-weekly one-on-one sessions. Assist mentees in debugging their code, providing comprehensive academic support.

Code Review Tutoring Mentorship Debugging Academic Support Problem Solving Communication Teaching Software Development

Senior Artificial Intelligence Engineer

Polar Frequency

Jan 2023 - May 2024 (1 year 4 months)

Engineered the AI backend for Goghr, a generative AI platform streamlining recruitment processes. Designed and implemented a personalized chat service with real-time audio-to-text synchronization, applying automated-reasoning techniques to guarantee reliability and security.

Backend Generative AI Chat Formal Methods Machine Learning Python TensorFlow

Artificial Intelligence Engineer

CloudClinic

Jun 2021 - Dec 2022 (1 year 6 months)

Led the development of Nigeria's first telemedicine platform, Cloud Clinic, defining formal specifications and system architecture to ensure secure, reliable healthcare delivery. Developed a robust retrieval algorithm for matching patients to healthcare providers based on their query and data.

Telemedicine Systems Architecture AI Clinical Assistants Algorithms Machine Learning

Machine Learning Engineer

Stealth Startup

Mar 2019 - Jun 2021 (2 years 3 months)

Developed deep learning algorithms for real-time emotion recognition from facial expressions. Contributed to integrating the algorithm into a music streaming platform to enhance user experience.

Deep Learning Emotion Recognition Facial Expressions Music Streaming Machine Learning Python PyTorch TensorFlow

Academic Tutor

Conference of Nigerian Christian Engineering Students

Dec 2018 - Dec 2019 (1 year)

Provided academic support to first-year engineering students through tutorials, strengthening their foundation in mathematics. Contributed to the academic community through mentorship, enhancing students' educational journey and learning experience.

Academic Support Tutoring Mentorship Mathematics Engineering Education Communication Teaching Problem Solving Curriculum Development

Education

Degrees, certifications, and relevant coursework

University of Abuja

Bachelor of Engineering, Electrical Engineering

2015 - 2020

Grade: First Class Honors

Activities and societies: Dean’s List from 2017 – 2021, University’s Scholars Recognition Award, Best Graduating Student, Undergraduate Research Scholar, Academic Tutor (Conference of Nigerian Christian Engineering Students).

Completed a Bachelor of Engineering in Electrical Engineering with First Class Honors. My thesis focused on human activity recognition in wearables using random forest feature selection to reduce computational cost.