Leiden University - The Netherlands The Department of Computer Science invites applications for a position of Full Professor of Computer Science The department offers a master's program in computer science for both full-time and part-time students, as well as a Ph.D degree in computer science. It has 18 regular faculty members and a technical support staff. There are research groups in theoretical computer science, information systems and software engineering, high performance computing and computer graphics, CAD and geometric modelling. Hardware facilities include networks of SUN, HP, Silicon Graphics workstations, PC networks, a MasPar MP1 multiprocessor system, and a Parsytec MultiCluster system. Candidates must have a relevant Ph.D, a strong commitment to teaching, and a strong record of research accomplishment. Especially desired are candidates with a proven research record in areas such as programming languages, semantics, specification, verification, program transformation, logic, design and analysis of algorithms, and foundations of artificial intelligence. For more information please contact the chairman of the search committee, Professor G. Rozenberg, Department of Computer Science, Leiden University, Niels Bohrweg 1, NL-2333 CA Leiden, The Netherlands, (tel.: +31-71-277063, e-mail: rozenber@wi.Leidenuniv.nl, fax: +31-71-276985). Applications accompanied by a detailed c.v., list of publications, and the names of at least three references should reach Dr. J. Coremans, Managing Director, Huygens Laboratory, Niels Bohrweg 2, NL-2333 CA Leiden, The Netherlands, not later than May 15, 1994.