5-1371msg2.txt

来自「该程序实现的是一个垃圾邮件过滤系统」· 文本 代码 · 共 4 行

Subject: job position

university of stuttgart institute of computational linguistics positions in transfer , semantics , logic and theorem proving the institute of computational linguistic at the university of stuttgart have a number of research position in the sonderforschungsbereich " linguistic foundation for computational linguistic " and the verbmobil project . the position involve research into : computational semantics ; transfer ; inference module ( theorem prover ) need for the resolution of lexical and other ambiguity . work will involve both theory and implementation . candidate should have experience in one or more of the follow area : natural language semantics , computational linguistics , machine translation , formal logic , theorem prove . contract will be initially for roughly two year ( depend on the date of commencement ) , with possibility of renewal . payment be on the bat iia / ib scale ( upward of ca . dm 65 . 0 , - - a year ) application ( cv and a brief statement of scientific experience and interest ) should be send preferably by e-mail to josef @ im . uni-stuttgart . de by december 5 , 1994 professor dr . han kamp institut fuer maschinelle sprachverarbeitung universitaet stuttgart azenbergstrasse 12 70174 stuttgart germany phone : + 49 ( 711 ) 121-1362 or 1365 fax : + 49 ( 711 ) 121-1366 e-mail : josef @ im . uni-stuttgart . de