Research Scientist - Formal Methods for AI (Hybrid UK/US)

Job Search Place Limited is seeking an experienced engineer focused on formal methods and AI systems in Greater London. The role includes designing systems that produce formal proofs of code correctness and collaborating with diverse teams.

The ideal candidate should hold a PhD in computer science and possess expertise in static analysis or software verification. The position also offers a competitive salary between $207,000 and $301,000, a 20% bonus target, equity, and extensive benefits.