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.

We have currently filled all our open positions for innovation engineers.