**Job Description**
This position involves evaluating and testing automated reasoning tools within the Lean theorem proving setting and contributing to the creation of educational materials for mathematics courses.
**Skills & Abilities**
• Experience with Lean
• Strong mind and attention to detail for crafting informative curriculum and mathematical learning materials
• Flexibility, excellence, and passion
• Consideration, collaboration, and cultural sensitivity
• Ability to optimally interact with a varied population of internal and external partners at a high level of integrity
**Qualifications**
Required Degree(s) in:
• Mathematics
• Related field
**Experience**
Other:
• Successful background check investigation
• A combination of education and proven experience from which comparable knowledge is demonstrated may be considered.
Note: We’ve analyzed the actual job post using AI, for more details visit the original job post by clicking on “Apply Now”!
