Innovation Engineers at ICARM play a pivotal role in bridging advanced technology and mathematical research. These technical specialists work alongside mathematicians to integrate state-of-the-art tools into everyday practice, including proof assistants, formalization systems, automated reasoning frameworks, and machine learning workflows. Innovation Engineers accelerate the adoption of cutting-edge technologies, design scalable tools, and craft solutions that enhance mathematical insight and productivity, fostering discovery across disciplines.

At ICARM, Innovation Engineers are collaborators, mentors, and problem solvers. If this sounds like you, please apply at our job posting.

The Institute invites applications for a postdoctoral fellowship beginning August 2026. A Ph.D. in mathematics or a closely related discipline is required. We seek strong researchers with demonstrated experience using one or more of the technologies above and an interest in supporting the institute’s mission. The term is one year, renewable.

Applicants should submit their cover letter, research statement, CV, and list of references to positions@icarm.io. Applications will be considered until the position is filled.

This position is also posted on MathJobs.