We are hiring three postdoctoral fellows in the study of mathematical cognition, including but not limited to:

(1) computational complexity, proof complexity, metamathematics, logic — anything relevant to how we seek for, and understand, mathematical proofs.

(2) the use AI tools, of any kind, as aids in proof verification and discovery.

(3) type theory (theory, or applied).

Website: https://cmu.wd5.myworkdayjobs.com/en-US/CMU/details/Postdoctoral-Fellow—DeDeo-Lab—Dietrich-College_2023842?q=2023842
Email: sdedeo@andrew.cmu.edu