Remote Lean 4 Formal Methods Researcher

Alignerr is looking for Applied Formal Methods Researchers who can shape AI reasoning through rigorous mathematical proof formalization in Lean 4. This is a fully remote position, allowing for flexible hours of 10–40 hours per week. Ideal candidates will hold a Master’s or higher in mathematics or related fields, with deep comfort in proof writing across various mathematical domains. Enjoy the autonomy of freelance work while contributing to cutting-edge AI research on mechanized mathematics.
#J-18808-Ljbffr