. Position: Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) Type: Contract Compensation: $90–$110/hour... Location: Remote Commitment: 20–40 hours/week Role Responsibilities Write correct, idiomatic Lean 4 statements and proofs...
. Position: Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) Type: Contract Compensation: $90–$110/hour... Location: Remote Commitment: 20–40 hours/week Role Responsibilities Write correct, idiomatic Lean 4 statements and proofs...
. Position: Applied Mathematics Benchmark Specialist Type: Contract Compensation: $61–$77/hour Location: Remote Commitment... for candidates with exceptional depth in a specific subdomain. Strong command of graduate-level mathematical concepts and formal...