[MATHLINK] Advertisement for postdoctoral fellowship on proof search at Carnegie Mellon University

[David Barack]

Hello MATHLINK,
Under the direction of Prof. Simon DeDeo and with the support of the John
Templeton Foundation, the Department of Social and Decision Sciences at
Carnegie Mellon University is hiring a postdoctoral fellow to investigate
the cognitive science of mathematical inquiry. Specifically, the fellow
should be interested in the search for mathematical proof amongst both
novices and professionals; characterizing the nature of mathematical
representational spaces; and the future of AI-assisted mathematics. We are
especially interested in applicants with experience in eye tracking
in natural environments and modelling cognitive behavior.
Further details, including the link for submitting an application, are
here:
https://cmu.wd5.myworkdayjobs.com/en-US/CMU/details/Postdoctoral-Fellow---DeDeo-Lab---Dietrich-College_2023842?q=2023842
Note that while the posting lists December 10th, applications received
before end of day Wednesday, January 21st will receive full review. The
application asks for names of potential references, but reference letters
are not required.
Please email dbarack at andrew.cmu.edu or sdedeo at andrew.cmu.edu for questions.
Thank you,
David Barack
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://the-mcls.org/pipermail/mathlink_the-mcls.org/attachments/20260113/2c4a8dc1/attachment.htm>