Postdoctoral Fellows
ICARM postdocs carry out research at the intersection of mathematics and computer-aided reasoning and assist the mathematics research community in the use of new technologies. We seek to hire one or more postdoctoral fellows to start in the fall of 2027.