We apologize if you receive multiple copies of this message. -------------------------------------------------------------- Applications are invited for an open position as Research Assistant in the Department of Computer Science, Hong Kong Baptist University. The successful applicant will join a research project on developing a protocol and proof representation for a distributed theorem prover system. The applicant should have at least a Bachelor degree in Computer Science (or relevant disciplines) with good classification. Experience in one or more of the following areas will be preferred: theorem provers, higher-order logic, functional programming, communication protocols, distributed systems. The initial duration of this opening will be six months. It is possible to extend for another three months. The salary will be HK$15,500 per month. (1USD = 7.75HK$, 1UKP = 12.6HK$) Hong Kong Baptist University (http://www.hkbu.edu.hk) is one of the seven higher education institutes funded by the Hong Kong Government. The Department of Computer Science (http://www.comp.hkbu.edu.hk) is a small but very friendly working group. It runs two undergraduate programmes as well as research higher degrees including M.Ph. and Ph.D. Hong Kong (http://www.hkta.org) is a unique metropolitan city where you can experience a colourful mixture of rich Oriental and Western cultures. For more information, please contact Dr. Wai WONG at [EMAIL PROTECTED] -------------------------------------------------------------------------- Wai WONG Department of Computer Science, Hong Kong Baptist University, Kowloon Tong, Hong Kong Tel. No. +852 2339 7082 E-mail: [EMAIL PROTECTED] Fax No. +852 2339 7892 WWW: http://www.comp.hkbu.edu.hk/~wwong/ ===================================================================
