Carnegie Mellon University's Hoskinson Center for Formal Mathematics is seeking a Research Assistant to evaluate and test automated reasoning tools in the Lean theorem proving setting and contribute to the creation of educational materials for math courses.
Requirements
Responsibilities
- Prepare educational materials in Lean for mathematics courses
- Test and evaluate automated reasoning tools
- Review curriculum and invent resources for mathematical educational products and materials
Other
- Bachelor's Degree in Mathematics or a related field; Master's preferred
- Strong mind and attention to detail for crafting informative curriculum and mathematical learning materials
- A combination of education and proven experience from which comparable knowledge is demonstrated may be considered.
- Flexibility, excellence, and passion are vital qualities within the Dietrich College.
- Consideration, collaboration, and cultural sensitivity are valued competencies at Carnegie Mellon.
- Therefore, we are in search of a team member who is able to optimally interact with a varied population of internal and external partners at a high level of integrity.
- We are looking for someone who shares our values and who will support the mission of the university through their work.
