arpa-bboard@ucbvax.ARPA (05/07/85)
From: mcvax!enea!liuida!jbl@seismo.ARPA Computer and Information Science Postdoctoral Research and Sabbatical Leave in Sweden The Department of Computer and Information Science at Linkopings University in Sweden announces the availability of postdoctoral research and sabbatical leave positions. The department provides a wide range of research and educational activities as indicated in the areas of faculty specialization. The university is located in the town of Linkoping, approximately 200 kilometers south of Stockholm. Linkoping has a population of 120000 and is in the heart of the rapidly expanding Ostergotland high technology industrial area. Linkopings University employes approximately 1600 people and has faculties of engineering, science, liberal arts, medicine and education. The department of Computer and Information Science has approximately 80 employees (faculty, staff and graduate students) of whom 15 have attained the doctoral degree. Applicants for post doctoral research positions should have completed or will shortly complete their doctoral degrees at a recognized institution. Applicants for sabbatical leave appointments must have a well established record of accomplishments in the computer science and/or engineering fields. The appointments are for a minimum of one year and a maximum of two years. Non-Swedish citizens and residents coming from countries having double taxation agreements with Sweden, for example, the United States, Canada, and Great Britain, will NOT be taxed in Sweden. Faculty members (for academic year 1984-1985) Par Emanuelson, functional languages, program verification, program analysis and program manipulation, programming environments, software engineering. Peter Fritzson (on leave to SUN MicroSystems during 1985), tool generation, incremental tools, programming environments. Anders Haraldsson, programming languages and systems, programming methodology, program manipulation. Roland Hjerppe, library science and systems, citation analysis and bibliometrics, fact representation and information retrieval, hypertext, human-computer interaction and personal computing. Sture Hagglund, database technology, human-computer interaction, artificial intelligence applications. Harold W. Lawson, Jr. (Professor of Telecommunications and Computer Systems), computer architecture, VLSI, computer-aided design, methodology of computer-related education and training. Bengt Lennartsson, programming environments, real-time applications, distributed systems. Andrzej Lingas, complexity theory, analysis of algorithms, geometric complexity, graph algorithms, logic programming, VLSI theory. Bryan Lyles (guest researcher), computer architecture, VLSI, user interfaces, distributed systems. - 2 - Jan Maluszynski, logic programming, software specification methods. Erik Sandewall (Professor of Computer Science), representation of knowledge with logic, theory of information management systems, office information systems, autonomous expert systems. Bo Sundgren, database design, conceptual modelling, statistical information systems. Erik Tengvald, artificial intelligence, knowledge representation, planning and problem solving, expert systems. Associated Faculty Members Jan-Olaf Bruer (Dept of Electrical Engineering), office automation systems, especially security issues. Ingemar Ingemarsson (Professor of Information Theory), information theory, security and data encryption, error correction codes and data compression. Ove Wigertz (Professor of Medical Informatics), medical information systems, expert systems. During the next academic year (85/86) additional Ph.D. faculty will be joining the department in the areas of computational complexity, computational linguistics, software engineering and computer systems. Department and University Computing Resources The department has as research computers a DEC 2060, a DEC VAX11/780, several SUNs, six Xerox 1108 InterLisp machines, and numerous smaller machines such as PDP-11s and micro-VAXs. Department plans include significant near-term expansion of research computing. Undergraduate computing systems include two DEC 2065s, a DEC 2020, a DEC PDP 11/70 and PDP 11/73 running Unix, a large number of Apple Macintoshes and a variety of small machines such as PDP 11s used for operating system labs. As is the case with research computing, major expansions of undergraduate computing capacity are planned in the near future. Since the total number of undergraduates enrolled in computer related lines of study is less than at some large U.S. universities, each student gets significant computer time. Linkoping is part of the UUCP and SUNET networks. The campus is wired with Ethernet and all major machines are connected via TCP/IP, DECNET or XNS protocols. Further Information Applicants are encouraged to directly contact our faculty members based upon the applicant's areas of research. In applying for positions, the applicants are requested to submit a curriculum vitae, list of publications, reprints of recent publications and suggested research activities during the appointment. For further information about Linkoping University and the Department of Computer and Information Science contact: Graduate Division c/o Mrs. Lillemor Wallgren - 3 - Department of Computer and Information Science Linkopings University S-581 83 Linkoping SWEDEN Telephone (+46) 13-281480 Telex: 50067 LINBIBL S UUCP: {decvax, seismo}!mcvax!enea!liuida!lew ARPA: LEW%LIUIDA.UUCP@SEISMO.ARPA -------