Innovation Engineers

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.