2 job opportunities for ai methods in United Kingdom updated today
job offers found
A technology research firm in the UK is seeking candidates to develop training methodologies for superhuman programming AI. Ideal applicants should possess expertise in machine learning or formal methods, a fast learning aptitude, and experience running machine learning experiments. The position off
A leading AI research partner seeks an Applied Formal Methods Researcher to translate informal mathematical proofs into Lean. Ideal candidates will have a Master's degree in Mathematics and a strong background in rigorous proof writing. The role offers competitive pay, flexible remote work, and the
£20,000 – £32,000per year
Estimation confidence: Low
Estimate based on market data. Actual salaries may vary depending on experience, company, and location.