**Job Description**
The Hoskinson Center for Formal Mathematics at Carnegie Mellon University’s Dietrich College is seeking a Research Assistant. This role involves evaluating and testing automated reasoning tools within the Lean theorem proving environment and contributing to the development of educational materials for mathematics courses, focusing on practical problem-solving and interdisciplinary learning.
**Skills & Abilities**
• Experience with Lean
• Strong mind and attention to detail for crafting informative curriculum and mathematical learning materials
• Flexibility
• Excellence
• Passion
• Consideration
• Collaboration
• 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
Note: We’ve analyzed the actual job post using AI, for more details visit the original job post by clicking on “Apply Now”!
