Refine Reset All
Recent Searches clear
Sort by
Relevance
Date Posted
Company
Job Title
Skills
Job Type
Employer/Recruiter
1 – 1 of 5 jobs
Alignerr is seeking Applied Formal Methods Researchers to work remotely on advanced mathematical proofs in Lean 4. This flexible contract role is tailored for mathematicians who excel in precision and structural elegance. You will translate informal proofs into formal systems,