Jeremy Avigad (Sep 30 2025 at 00:09): Jeremy Avigad (Sep 30 2025 at 00:09):The Institute for Computer-Aided Reasoning (ICARM) is a new NSF Mathematical Sciences Research Institute, located on the campus of Carnegie Mellon University in Pittsburgh, Pennsylvania. It is dedicated to supporting the use of new technologies for mathematical reasoning, including proof assistants, automated reasoning, and machine learning. A distinguishing feature of our MSRI is that we will have a dedicated staff of innovation engineers, with expertise in the new technologies and a history of collaborating with mathematicians, to provide support and assistance that will advance mathematical research.
We are pleased to announce that the institute is in a position to hire up to three innovation engineers. The job announcement is here. If you have any questions, do not hesitate to contact the director, Jeremy Avigad (avigad@cmu.edu) and/or the associate director, Matthew Ballard (mballard@math.sc.edu).
Please help us recruit excellent candidates by sharing this announcement with anyone who may be interested.
Last updated: Oct 13 2025 at 20:23 UTC