(New) PhD/Postdoc Positions in Logic/AI/Formal Methods at ETH Zürich [CH]

These positions offer a place for reflecting on all aspects of mathematical knowledge from the point of view of the humanities. The team studies various historical and contemporary mathematical cultures from a multitude of methodological approaches. 

For more information about the PhD position click here and for the postdoc position here.