Lean 4 Formal Methods Researcher (Remote Contract)
|
Alignerr Corp.
Nelson
A leading AI research collaboration firm is seeking an Applied Formal Methods Researcher to translate informal mathematical proofs into Lean. The ideal candidate has a Master’s degree in Mathematics, strong proof writing skills, and experience with proof assistants. This remote role offers flexible working hours and competitive pay, allowing you to collaborate on innovative AI projects while... |
View salary & More Info |
|
3 hours ago
|
|