601 to 625 of 632 Mathematics Jobs in London

About Winton Winton is a research-based investment management company with a specialist focus on statistical and mathematical inference in financial markets. The firm researches and trades quantitative investment strategies, which are implemented systematically via ...

AI/Machine Learning Engineer The AI/Machine Learning Engineer joins a small, agile team developing cutting-edge AI solutions within a dynamic environment. The role focuses on building and deploying machine learning models ...

Company DescriptionAt IFS, we're building the next generation of AI-native enterprise software, transforming how some of the world's largest organisations manage assets, operations and critical services. This is an opportunity to work ...

Help a leading AI lab teach its models to write real, machine-checked mathematics in Lean. 1. Overview A leading AI lab is looking for Lean engineers, formal mathematicians and proof engineers to help its AI models state and prove mathematics correctly. You'll write and review Lean 4 proofs … Lean 4 statements and proofs that compile against current mathlib, across areas such as algebra, analysis, number theory, combinatorics and logic. Formalize natural-language mathematics, from competition problems and textbook results to research-level lemmas, paying close attention to whether the formal statement matches the original. Review AI-generated Lean ...

Southwark, London.The candidate will be expected to be able to give design recommendations and improve and maintain the current codebase. A love of mathematics is a distinct advantage for a role that relies heavily on statistics and probability. Experience of development of stable, scalable Java applications and services. Experience … mathematics associated with statistics, standard deviation and probability, ideally to A level or higher.Responsibilities: Building game engines on the current GMR Game Engine Framework Extending the Game Engine Framework to accommodate unique game designs Building improvements into the core Game Engine Framework Building tools and systems to improve game simulation ...

head of Risk at a fund. I am looking for a strong coder who is interested to pick up the maths and financial knowledge associated with quant risk in hedge funds. Day to Day The Functional Architect will: • Define and maintain metadata required for invoking APIs • Support product manager …/no code platform to grow market share, improve customer experience and drive growth. The Payments Functional Architect Must have: 2:1 Computer Science, Maths, Physics or Chemistry degree from a Red Brick UK or EU University Proven track record in building APIs and maintaining them. (Via a development team ...

approach to working out why something isn't working 3 GCSEs (or equivalent) at grade 4+ (A-C) in any subject GCSEs English and Maths at grade 4+ (C or above) The ability to explain technical things in plain words to people who aren't technical The right to work … attitude Tech Savvy Hardware and Software Passion for IT Troubleshooting Willingness to learn Qualifications English GCSE, grade 4/C + (Essential) Maths GCSE, grade 4/C + (Essential) About the Employer EXECUTIVE CHANNEL EUROPE LIMITED Executive Channel Network (ECN) is a world leader in office media – digital ...

CMC Markets is seeking a Senior Low Latency Java Developer to join our Quantitative Strategies team within Pricing & Risk, working on our high-performance, high-frequency trading platform. This is a hands-on role at ...

Tools & Compilers Research and Development Internship, Flexible Research programming languages and compilers on Jane Street’s OCaml stack, including type systems, verification, systems-language features, testing, optimisation, and tooling. This is a research internship in ...

DRW is a diversified trading firm seeking a Research Engineer to join its systematic research team. You will work with technologists, researchers, and traders to solve computing problems across software design, data engineering, distributed computing ...

At Edge Petrol we have built a data driven web app for petrol retailers, allowing them to optimise their business operations to maximise returns. Our intelligent software solution delivers real-time data, analytics and insight. ...

UFORCE exists to make aggression unaffordable. Founded in Ukraine and headquartered in London, UFORCE is a defence-technology company with operations across Europe, the United States and Asia. UFORCE builds uncrewed vessels, ground robotics and ...

PhysicsX is a deep-tech company with roots in numerical physics and Formula One, dedicated to accelerating hardware innovation at the speed of software. We are building an AI-driven simulation software stack for engineering ...

Job Summary Our global business is growing rapidly, and we are currently seeking a full-time, office-based Clinical Database Programmer to join our Data Management team in our London office. The position will work ...

Business Unit LIGHTSPEED STUDIOS is made up of passionate players who advance the art & science of game development through great stories, great gameplay, and advanced technology. We are focused on bringing next generation experiences to ...

Vacancy for Head of Department of Informatics at King's College London Vacancy for Head of Department of Informatics at King's College London 6 May 2025 London, UK Full-Time Located in the heart ...

Running a business today means operating in one world and understanding in another. The owner lives in a stream of real-world events — deliveries, staffing, inventory, customers — context-switching into spreadsheets, dashboards, and reports to ...

Re-architecting Engineering for the Age of Intelligence PhysicsX is the physics AI company for industrials. The company’s mission is to accelerate hardware innovation by overhauling what industrial engineering and manufacturing look like today. ...

About Basis Basis is a nonprofit applied AIresearch organization with two mutually reinforcing goals. The first is to understand and build intelligence. This means to establish the mathematical principles of what it means to reason ...

Reasonable is the applied AI research company building formal verification for super-human software development. Correctness guarantees for software developed by humans and machines are no longer impractical or prohibitively expensive. Code generated by AI ...

About the Position We’re looking for smart and curious individuals to join our growing team and drive our ML work. On our Machine Learning team, you’ll build the deep learning models that power ...

View all jobs Research Engineer - SfM/SLAM Bay Area, London, UK, Graz, Austria Engineering Remote, Hybrid Full-time Third Dimension is building SuperSim, a new kind of simulator which can enable fast, cost-effective ...

Synergy Solutions International Limited is a London-based Consultancy firm providing IT expertise and services as part of Software as a Service (SaaS) working model. We aim to provide affordable and efficient software expertise to ...

Clear IT Recruitment Ltd in London is seeking a Java Developer to join a gaming company in Southwark. You will design, implement and maintain scalable Java applications, contributing to a robust game engine framework and ...

Cypress Labs is building a platform that models real businesses and simulates operations to help owners understand and manage their companies. We work in person in London, developing a system of agents and mathematical models ...