Jobs › UK jobs › Software Engineer jobs in London › Software Engineer, Infrastructure
Harmonic · London
ABOUT HARMONIC At Harmonic, we are building a mathematical reasoning engine that operates with absolute precision. While most AI makes maximum-likelihood guesses, Harmonic's Aristotle uses Lean4 and reinforcement learning to verify its reasoning and results. Following our Gold Medal-level performance on the 2025 International Math Olympiad (IMO) and the successful resolution of long-standing open problems, we are proving that AI can master the most rigorous domains of human…
Read the full advert and apply on Harmonic's site →
Collected from Harmonic's own careers site (Ashby). Posted 01 May 2026. TUNAI shows an excerpt and the facts it read from the advert; the employer's page has the full description and the application.
Does your CV match this job? Paste both and see exactly which of these skills it shows.
Check my CV against this job →