Postdoctoral Fellow
MathJobs application-deadline field: 2027/03/10 23:59:59 (posted 2026/01/15 ); the description also indicates open-until-filled recruitment, so the displayed date is not treated as a hard closing date.
Read all requirements at the application source. The sharing member is not necessarily an institution representative.
Opportunity listed by Carnegie Mellon University, Institute for Computer-Aided Reasoning in Mathematics.
Location: Pittsburgh, Pennsylvania 15237, United States of America.
Research areas reported by the employer: Mathematics; Formal Methods; AI.
MathJobs posting date: 2026-01-15. Source checked on 2026-11-01.
The source states that applications remain open until the position is filled. Check the original posting for priority-review dates.
View the employer's MathJobs posting and application instructions (opens in a new tab). Please follow every application step and document requirement on the original page.
Replies
0 public repliesNo replies yet.
0 public replies