The University of Genoa offers a one-year post-doc position to work on Realizability Semantics, with a main focus on the category-theoretic analysis of the models. Official information is available from http://www.unige.it/concorsi/assricerca/ or directly at http://www.disi.unige.it/person/RosoliniG/dr2063.rtf Please contact me if interested or just in need of a translation from Italian burocratese. G.Rosolini DISI, via Dodecaneso 35 16146 Genova, ITALY tel +39 010 3536630 rosolini@disi.unige.it 15-Sep-2001 11:21:57 -0300,2577;000000000001-00000014