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.
Core Responsibilities Include:
- 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.
Qualifications:
- 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.
Additional Requirements
- 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
Pittsburgh, PAJob Function
ResearchersPosition Type
Staff – Fixed Term (Fixed Term)Full Time/Part time
Part timePay Basis
HourlyMore Information:
Please visit “Why Carnegie Mellon” to learn more about becoming part of an institution inspiring innovations that change the world.
Click here to view a listing of employee benefits
Carnegie Mellon University is an Equal Opportunity Employer/Disability/Veteran.
Average salary estimate
If an employer mentions a salary or salary range on their job, we display it as an "Employer Estimate". If a job has no salary data, Rise displays an estimate if available.
Control Risks is hiring a Cyber Threat Intelligence Analyst to lead and deliver high-quality threat assessments, manage client projects, and provide subject-matter expertise for platform and public-facing intelligence.
Staff UX Researcher at ServiceNow leading customer-centered studies to inform enterprise product strategy and validate AI-enhanced features.
Support an NSF-funded mechanical engineering research project at Penn State analyzing the technical and economic impacts of water-to-synthetic hydrocarbon fuel production as a part-time graduate research assistant.
American University is hiring an enrolled undergraduate to support literature reviews, survey management, data collection and analysis for a mixed-methods project on Blackness in STEM.
A postdoctoral researcher position at LLNL to develop and validate hybrid reduced-order modeling and machine-learning methods integrated with physics-based simulation and HPC workflows.
Staff Scientist at the University of Rochester's Del Monte Institute to lead complex research projects, supervise lab personnel, and contribute to publications and program development.
Guardant Health is hiring a Senior Staff Medical Science Liaison to partner with West Coast oncology KOLs, present clinical evidence, and drive scientific and clinical adoption of its diagnostic solutions.
AECOM seeks entry-level Environmental Scientists to support ecological surveys, data analysis, and permitting in a hybrid role across PA/NJ/MD/VA with interviews tied to an invitation-only Philadelphia networking event.
Lead development and execution of patient-centered outcomes evidence and COA strategies to support regulatory, payer/HTA, and clinical development needs across AbbVie’s oncology portfolio.
Serve as a Clinical Research Coordinator supporting study conduct, regulatory compliance, and data management for clinical trials within a hospital and academic research environment.
Lead the development and productionization of large-scale diffusion models that generate and control 3D worlds at a research-driven startup in San Francisco.
The MIGHTE group at Northeastern University is hiring a Postdoctoral Research Associate to develop and apply mathematical and computational models of infectious disease transmission and control.
🔮
Hi, I'm Risa! Your AI Career Copilot
you, just ask me below!
