After two years of visiting positions at the
University of Wisconsin–Madison and
Rutgers University, Aczel took a position at the
University of Manchester. He has also held visiting positions at the
University of Oslo,
California Institute of Technology,
Utrecht University,
Stanford University, and
Indiana University Bloomington. He was a visiting scholar at the
Institute for Advanced Study in 2012. Aczel was on the
editorial board of the
Notre Dame Journal of Formal Logic and the Cambridge Tracts in Theoretical Computer Science, having previously served on the editorial boards of the
Journal of Symbolic Logic and the
Annals of Pure and Applied Logic. He died on 1 August 2023. ==References==