Seeking part-time remote workers who are proficient in Lean4

Stream: job postings

[jack boom]

Job Opening: Lean4 Annotator

Job Nature: Online

Desired Person Specification:

1: Proficient in Lean4: Requires practical experience in formalising mathematical theorems in the Lean4 environment, with the ability to write, verify and optimise Lean4 code.

2: Strong mathematical foundation: Preferred if majoring in mathematics, with the ability to clearly understand core concepts of courses such as analysis, algebra, and mathematical logic. Should have the ability to analyse and derive complex mathematical theorems. Attention to detail, conscientious, and with good team spirit.

Our Project Goals:

1: Precise formalisation of mathematical theorems and proofs to enhance our model's ability to handle mathematical formalism.

2: We need to gather annotator feedback to develop and optimise Lean4 annotation platform tools that can support a wider range of mathematical applications.

If you are interested, please contact me and let me know your expected quote. email：dingzhang518@gmail.com

[Notification Bot]

This topic was moved here from #lean4 > Seeking part-time remote workers who are proficient in Lean4 by Mario Carneiro.