POST DOC - PHILOSOPHY
Location Pittsburgh, PA
Open Date
Mar 26, 2026
Deadline
Apr 10, 2026 at 11:59 PM Eastern Time
Description
The Philosophy Department at Carnegie Mellon University seeks applications for a 2 year post-doctoral fellowship in logic, type theory, and category theory beginning in Fall 2026. Salary is commensurate with qualifications and experience. The applicant should do research and teaching in the areas of homotopy type theory, categorical logic, and formalization of mathematics using interactive proof assistants. The teaching load will be 3 undergraduate or graduate courses per year and supervision of undergraduate and graduate student research. Evidence of outstanding research publications as well as outstanding educational accomplishments are expected.
Application Process
This institution is using Interfolio's Faculty Search to conduct this search. Applicants to this position receive a free Dossier account and can send all application materials, including confidential letters of recommendation, free of charge.Recommended Jobs
Assistant Manager, Arts Landing
Position Summary : Owned and operated by the Pittsburgh Cultural Trust, Arts Landing is a four-acre outdoor civic space, with a grand opening at the Dollar Bank Three Rivers Arts Festival in June…
Travel Respiratory Therapist Registered Respiratory Therapist Job
Job Overview TLC Nursing Associates, Inc. is seeking a Registered Respiratory Therapist (RRT) for travel assignments . The RRT will provide respiratory care treatments, manage ventilators, an…
Team Member (Miss J's)
Job Title: Team Member (Miss J's) Las Vegas Petroleum is thrilled to announce the opening of Miss J's in Hazleton, PA , our exciting new dining concept offering delicious home-cooked meals. We …
Ab Initio Developer
Job Title : Ab Initio Developer Location : Whippany, NJ (Hybrid) Duration : Long Term Contract Job Description: Role Purpose Technical/Functional Skills · 12+ years of Exper…
Senior Plan Design Review & Builder, Self-Funded Healthcare Plans
Job Description Job Description Description: Join our team at Cobalt Benefits Group and start an exciting new career in employee benefits solutions. As a Senior Plan Design Review & Builder …
Packer - All Shifts
As a family of brands, it is Our Home's ethos to create and provide delicious, wholesome snacks to communities throughout the U.S. at a great value. We strive to create snacks that offer nourishment …
Analyst, Paid Social
Description Position at CMI Media Group Do you thrive off of the energy of being part of a passionate team? Are you looking to grow your career with an organization that truly believes in the powe…
Warranty Administrator
Job Description Job Description NorthStar Auto is seeking a highly motivated Warranty Administrator to join our accounting and finance team in Moon Twp Chevrolet. As a Warranty Administrator, you…
Branch Manager - To $88K - Philadelphia, PA - Job # 3539
Branch Manager – To $88K – Philadelphia, PA – Job # 3539 Who We Are The Symicor Group is a boutique talent acquisition firm based in Schaumburg, IL & Rockport, TX. Our nationally unique value propos…
Deliver with Gopuff on your schedule - W2 Employment Opportunity
Deliver with Gopuff on your schedule - W2 Employment Opportunity at Gopuff summary: CVWalletExtranet.Domain.Entities.JobShortDescription Do more than make ends meet. Deliver with us as a Delive…