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 post-doctoral fellow in logic, type theory, and category theory at Carnegie Mellon University will conduct research and teaching in homotopy type theory, categorical logic, and formalization of mathematics using interactive proof assistants. The role includes teaching 3 undergraduate or graduate courses per year and supervising student research.
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.
Right around the average for this role
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
Mathematical Formalization Specialist - Remote
Labelbox
Mathematical Formalization Specialist - Remote
Labelbox
Mathematical Formalization Specialist - Remote
Labelbox
Mathematical Formalization Specialist - Remote
Labelbox
