ApplyBlast uses AI to match you with the right jobs, tailor your resume and cover letter, and apply automatically so you can land your dream job faster.
© All Rights Reserved. ApplyBlast.com
ApplyBlast uses AI to match you with the right jobs, tailor your resume and cover letter, and apply automatically so you can land your dream job faster.
© All Rights Reserved. ApplyBlast.com
Carnegie Mellon University
A one-year postdoctoral fellowship at a research institute focused on using new technologies for mathematical research, including interactive theorem proving, automated reasoning, and machine learning.
Headquarters
Pittsburgh, Pennsylvania, United States
Company Size
5001-10000 employees
Founded
1900
CMU is a global research university known for its world-class, interdisciplinary programs: arts, business, computing, engineering, humanities, policy and science.
Carnegie Mellon UniversityCMU’s Robotics Innovation Center Secures FieldAI as Inaugural Corporate Tenant
2 weeks ago
Poets&Quants for Undergrads2025 Most Disruptive Business School Startups: Basics, Carnegie Mellon University (Tepper)
Jan 4, 2026
Pittsburgh Post-GazetteInside of Carnegie Mellon University’s new robotics center, where machines jump, swim and fly
1 week ago
Headquarters
San Francisco, CA
Company Size
201-500 employees
Founded
2018
Industry
Technology
Glassdoor Rating
4.2 / 5
Sarah Johnson
Chief Executive Officer
Michael Chen
Chief Technology Officer
Emily Williams
VP of Engineering
David Rodriguez
VP of Product
Jessica Thompson
Chief Financial Officer
Andrew Park
VP of Sales
View leadership team, funding history,
and employee contacts for Carnegie Mellon University.
Carnegie Mellon University didn’t post a salary, so this is our estimate from similar listings.
The TartanEdBoard: Carnegie Mellon University wants you to be employed at the cost of our lives
2 weeks ago
Mathematical Formalization Specialist - Remote
Labelbox
Mathematical Formalization Specialist - Remote
Labelbox
Advanced Mathematics Researcher and Graduate-Level Expert
24-MAG LLC
Mathematical Formalization Specialist - Remote
Labelbox
Mathematical Formalization Specialist - Remote
Labelbox
Researcher in Formal Verification, Cybersecurity and AI
University of California, Berkeley
