- Remote
- Contract
... document your findings clearly - Create Lean proofs that surface deeper patterns or generalizations implicit in the original mathematics Who You Are - Graduate-level mathematician (Master's or higher) in Mathematics, Logic, Theoretical Computer Science, or a closely related field - Strong foundation in rigorous proof writing ...
Perth, Australia