Formalization - 12+ job offers

*Mathematical Formalization Specialist (Lean / Formal Proof Systems)** *About Alignerr** Alignerr partners with leading AI labs to build expert-driven workflows that improve model reasoning. We recruit top mathematicians and specialists to solve tasks where automated tools fail, advancing AI reliabi

Location: Remote About the job At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification a

What We're Working On We help global enterprises launch digital products that reach millions of users. Our projects involve massive datasets, complex pipelines, and real-world impact across industries. What You’ll Do Join the team as a senior-level Data Engineer with strong ownership of data pipelin

Job Title: SQL Developer / SQL DBA Location: Leeds, UK Duration: FTC (3 Months) Job Summary: We are looking for a skilled Tech Lead to design, develop, and maintain robust SQL databases and queries to support business applications and analytics. You will work closely with data analysts, application

Eurofins Scientific is an international life sciences company, providing a unique range of analytical testing services to clients across multiple industries, to make life and our environment safer, healthier and more sustainable. From the food you eat, to the water you drink, to the medicines you re

Company Description Eurofins Scientific is an international life sciences company, providing a unique range of analytical testing services to clients across multiple industries, to make life and our environment safer, healthier and more sustainable. From the food you eat, to the water you drink, to

Location: Remote About the job At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification a

What We're Working On We help global enterprises launch digital products that reach millions of users. Our projects involve massive datasets, complex pipelines, and real-world impact across industries. What You’ll Do Join the team as a senior-level Data Engineer with strong ownership of data pipelin

Our world is transforming, and PTC is leading the way. Our software brings the physical and digital worlds together, enabling companies to improve operations, create better products, and empower people in all aspects of their business. Our people make all the difference in our success. Today, we are

Introduction At IBM CIC, we provide technical and industry expertise to a wide range of public and private sector clients in the UK. A career in IBM CIC means you’ll have the opportunity to work with leading professionals across multiple industries to improve the hybrid cloud and AI journey for the

Our world is transforming, and PTC is leading the way. Our software brings the physical and digital worlds together, enabling companies to improve operations, create better products, and empower people in all aspects of their business. Our people make all the difference in our success. Today, we are

DATA INSIGHTS LEAD | LANGLEY, UK Travel obsessed? Big tech fan? Hey, you’re in good company. If you want to be part of the industry that makes the world go round, then look no further. Travelport is the brains behind lots of your travel bookings- plane, car or hotel. Our technology is used to book t