Job Details

A leading AI research organization is seeking an Entry Level Researcher specializing in Lean 4 and Formal Proof Systems. This remote position involves translating formal mathematical proofs, analyzing mathematical arguments, and collaborating with researchers in AI projects. Ideal candidates should have a Masters degree in relevant fields, strong skills in proof writing, and a passion for formal verification. Competitive pay and flexible hours are offered, along with opportunities for contract extension.

#J-18808-Ljbffr