A leading AI collaboration firm is seeking a Researcher with expertise in formal proof systems, specifically Lean 4. In this remote role, you will translate informal mathematical proofs into precise formal verifications and collaborate on cutting-edge AI projects. Ideal candidates will have a Master’s degree in Mathematics or a related field and experience in rigorous proof writing. Flexible pay between $70 and $150/hour, with a commitment of 10–40 hours per week.
#J-18808-Ljbffr