A leading AI research partnership in the UK is seeking an Applied Formal Methods Researcher experienced in rigorous proof construction and formal proof languages like Lean. This remote role involves translating mathematical arguments into machine-verifiable formats. Ideal candidates hold a Masters degree in Mathematics or a related field and possess hands-on experience with tools like Lean. Join a dynamic team working on cutting-edge AI models with competitive pay and flexible work arrangements.
J-18808-Ljbffr