Recruitment, verified at source. Specialist roles across healthcare, engineering, construction, education, logistics and 19 more sectors.
326 roles found
London
What if your security expertise could directly shape how the world's most powerful AI systems defend themselves against attack?
London
What if your voice could directly shape how AI understands and communicates with millions of people?
London
Alignerr seeks professional voice actors for UK English recordings to support AI speech training.
City of Edinburgh
What if your mathematical expertise could directly shape how AI reasons about proofs — pushing the boundary of what machines can understand and…
City of Edinburgh
Alignerr Corp. is seeking a Researcher to translate informal mathematical proofs into Lean 4 proofs for AI training.
London
Alignerr seeks a Researcher to translate dense mathematical proofs into Lean 4, strengthening machine-verifiable reasoning for AI training.
Cambridge
Alignerr is seeking a Researcher to translate deep mathematical arguments into Lean 4 proofs for AI training.
Glasgow
Alignerr is seeking a researcher to translate informal mathematical proofs into Lean 4 for AI training and mechanized mathematics.
Cambridge
What if your deep mathematical training could directly shape how AI understands and reasons through the hardest proofs in existence?
London
What if your deep mathematical training could directly shape the future of AI reasoning?
Glasgow
What if your deep mathematical training could directly shape how AI understands and reasons about formal proofs — advancing the frontier of…
Glasgow
Alignerr is seeking a Lean 4 Proof Engineer to translate advanced mathematical reasoning into machine-verifiable Lean code.
London
What if your mathematical expertise could directly shape how AI understands and reasons about formal proof?
London
Alignerr is seeking a Lean 4 Proof Engineer to translate advanced mathematical arguments into machine-checkable Lean 4 proofs.
Glasgow
What if your deep mathematical training could directly shape the future of AI - and help machines understand the most rigorous arguments the human…
Manchester
Alignerr is seeking a Clinical Systems Analyst to support, optimize, and maintain essential healthcare IT systems in a remote capacity.
Manchester
At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models.
Glasgow
What if your deepest mathematical knowledge could directly shape how AI reasons about truth, proof, and logic?
Glasgow
Alignerr is seeking a Formal Verification Scientist to translate advanced mathematics into Lean proofs, shaping how AI reasons about truth and logic.
London
Alignerr is seeking researchers with deep machine learning knowledge to design evaluation challenges that push the limits of today’s AI systems.
Worked with Verifera as a candidate or employer? Your honest review helps the next person trust verified hiring.