innovation engineer at ICARM

Stream: job postings

[Jeremy Avigad]

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), by email or by direct message here on the Lean Zulip.

Please help us recruit excellent candidates by sharing this announcement with anyone who may be interested.

[Jeremy Avigad]

We are pleased to announce that David Renshaw has joined the Institute for Computer-Aided Reasoning in Mathematics as our first innovation engineer. Welcome, David! We hope to hire at least two more in the months ahead.