Research Assistant - Hoskinson Center for Formal Mathematics - Dietrich College

Carnegie Mellon University is a private, global research university that challenges the curious and hardworking to deliver work that matters. Our extraordinary institution has distinctive areas of excellence and a culture marked by ambition and a deep, practical engagement with challenges facing society. We continue to produce talented alumni and draw faculty and staff eager to be a part of the university's creative, dedicated and close-knit community. We place emphasis on practical problem solving, interdisciplinary learning, a transformative spirit, and collaboration.

From creative writing to statistics and data science, behavioral economics to social and political history, Dietrich College is home to 11 humanities and social sciences departments, programs and institutes. Our world-class faculty and students work across subject areas to investigate and solve real-world problems.

The Hoskinson Center for Formal Mathematics is seeking a Research Assistant. In this position, you will be evaluating and testing automated reasoning tools in the Lean theorem proving setting and contributing to the creation of educational materials for math courses.

• 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
• Collaborate and communicate optimally with faculty and research teams.

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.

• Bachelor's Degree in Mathematics or a related field; Master's preferred
• Experience with Lean
• 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.

• Successful background check investigation

Joining the CMU team opens the door to an array of exceptional benefits.

Benefits eligible employees enjoy a wide array of benefits including comprehensive medical, prescription, dental, and vision insurance as well as a generous retirement savings program with employer contributions. Unlock your potential with tuition benefits, take well-deserved breaks with ample paid time off and observed holidays, and rest easy with life and accidental death and disability insurance.

Additional perks include a free Pittsburgh Regional Transit bus pass, access to our Family Concierge Team to help navigate childcare needs, fitness center access, and much more!

For a comprehensive overview of the benefits available, explore our Benefits page.

At Carnegie Mellon, we value the whole package when extending offers of employment. Beyond credentials, we evaluate the role and responsibilities, your valuable work experience, and the knowledge gained through education and training. We appreciate your unique skills and the perspective you bring. Your journey with us is about more than just a job; it's about finding the perfect fit for your professional growth and personal aspirations.

Are you interested in an exciting opportunity with an exceptional organization?! Apply today!

Location

Job Function

Position Type

Full Time/Part time

Pay Basis

More Information: