job position university stuttgart institute computational linguistics positions transfer semantics logic theorem proving institute computational linguistics university stuttgart number research positions sonderforschungsbereich linguistic foundations computational linguistics verbmobil project positions involve research computational semantics transfer inference modules theorem provers needed resolution lexical ambiguities work involve theory implementation candidates experience one following areas natural language semantics computational linguistics machine translation formal logic theorem proving contracts initially roughly two years depending date commencement possibilities renewal payment bat iia ib scale upwards ca dm 65 000 year applications cv brief statement scientific experience interest sent preferably email josef ims unistuttgart de december 5 1994 professor dr hans kamp institut fuer maschinelle sprachverarbeitung universitaet stuttgart azenbergstrasse 12 70174 stuttgart germany phone 49 711 1211362 1365 fax 49 711 1211366 email josef ims unistuttgart de