paulv@mcvax.UUCP (Paul Vitanyi) (10/08/84)
<for the network> The CWI (Centre for Mathematics & Computer Science) in Amsterdam has job positions for 1. Head of the Computer Centre academic or equivalent background, management capabilities, experience with UNIX systems, thorough knowledge of hardware. 2. Systems Programmers (Unix & C, of course) We are looking for experienced UNIX-wizards or people with LAN experience. Academic background or equivalent. 3. Technical Programmers Experience with UNIX tools. and lots of 4. Computer Scientists (or Mathematicians interested in Computer Science), namely: a. experienced researchers to work as project leaders, especially in the projects "distributed information systems" and "artificial intelligence tools", b. junior researchers (both pre and post PhD) to join in any one of the projects described below. research keywords (see also brief project descriptions below): distributed operating systems artificial intelligence (expert systems) vector algorithms computer graphics computer integrated manufacturing software engineering * efficient algorithms & complexity in the following areas: * distributed computing (networks & multiprocessorsystems) * algorithms * computational complexity * machine complexity * VLSI algorithms & complexity * reliability * computation using time semantics of distributed processes office automation & text processing The Centre for Mathematics & Computer Science (CWI) has been a leading institute for fundamental research in mathematics and computer science in The Netherlands for over 35 years. Some 60 researchers work at the CWI in an international atmosphere with good contacts with industry. The CWI expects to be able to expand its computer science and related research significantly in the next few years. The research topics for the coming years include: * Distributed Algorithms the design, and complexity analysis of algorithms concerning the operation of computer networks and multiprocessor systems. Keywords & Phrases. Architecture: algorithmic aspects of network topology, memory distribution, synchronization. Operation: protocols, crash recovery, transaction-commit for distributed database, clock-synchronization, routing, scheduling, reliability & robustness (e.g. Byzantine algorithms), logically time-independent asynchronous algorithms using time for enhanced applicability and efficiency. * Analysis of algorithms, complexity theory, machine complexity using algorithmic complexity. * VLSI algorithms & complexity (tentative). This contains subjects such as realistic computational models, trade-offs between complexity measures, efficient algorithms for the design of VLSI and for the operation of such circuits, concrete VLSI algorithms. Algorithms for Vehicle Routing routing methods, based on recent advances in operations research, supported by interactive man-machine communication Vector Algorithms for Supercomputers development and adaptation of numerical algorithms for supercomputers and implementation on Cyber 205 and Cray 1. Software Engineering tools for building and manipulating computer programs. Concurrency formal description of concurrent processes Interactive Systems computer graphics, facilities for raster displays, dialogue-cells, and computer-integrated manufacturing (CIM) Distributed Operating Systems design and implementation of a distributed operating system (Amoeba), with special emphasis on fault tolerance, distributed control, and protection mechanisms. Performance Analysis of Computer Systems in particular analysis of congestion problems in computer networks. Distributed Information Systems distributed data base systems. Office Automation and Text Processing design and implementation of a flexible interactive system for storage, processing, distribution and typesetting of (mathematical) text Statistical Image Analysis development of theory and methods for statistical analysis of digitised images. Tools in Artificial Intelligence in particular development of programming tools and methodological foundation for expert systems. Although the language spoken in the institute is mainly Dutch, the CWI already employs a significant number of English speaking people, most of whom experience no serious language barriers. All scientific publications in the CWI are in English. Our computer centre speaks Berkeley 4.2 Unix. If you are interested, or if you would just like some more information, please send electronic mail (if possible including a curriculum vitae) For the starred * items to Paul Vitanyi @ CWI: ...!mcvax!paulv or snail-mail Paul M.B. Vitanyi CWI Kruislaan 413 1098 SJ Amsterdam The Netherlands and all other items to Sape Mullender @ CWI: ...!mcvax!sape or snail mail to: Sape Mullender Centrum voor Wiskunde & Informatica Kruislaan 413 1098 SJ Amsterdam The Netherlands We will answer any questions, or pass on your letter to the relevant research project group.
paulv@mcvax.UUCP (Paul Vitanyi) (10/08/84)
<For the network> The CWI (Centre for Mathematics & Computer Science) in Amsterdam has job positions for 1. Head of the Computer Centre academic or equivalent background, management capabilities, experience with UNIX systems, thorough knowledge of hardware. 2. Systems Programmers (Unix & C, of course) We are looking for experienced UNIX-wizards or people with LAN experience. Academic background or equivalent. 3. Technical Programmers Experience with UNIX tools. and lots of 4. Computer Scientists (or Mathematicians interested in Computer Science), namely: a. experienced researchers to work as project leaders, especially in the projects "distributed information systems" and "artificial intelligence tools", b. junior researchers (both pre and post PhD) to join in any one of the projects described below. research keywords (see also brief project descriptions below): distributed operating systems artificial intelligence (expert systems) vector algorithms computer graphics computer integrated manufacturing software engineering * efficient algorithms & complexity in the following areas: * distributed computing (networks & multiprocessorsystems) * algorithms * computational complexity * machine complexity * VLSI algorithms & complexity * reliability * computation using time semantics of distributed processes office automation & text processing The Centre for Mathematics & Computer Science (CWI) has been a leading institute for fundamental research in mathematics and computer science in The Netherlands for over 35 years. Some 60 researchers work at the CWI in an international atmosphere with good contacts with industry. The CWI expects to be able to expand its computer science and related research significantly in the next few years. The research topics for the coming years include: * Distributed Algorithms the design, and complexity analysis of algorithms concerning the operation of computer networks and multiprocessor systems. Keywords & Phrases. Architecture: algorithmic aspects of network topology, memory distribution, synchronization. Operation: protocols, crash recovery, transaction-commit for distributed database, clock-synchronization, routing, scheduling, reliability & robustness (e.g. Byzantine algorithms), logically time-independent asynchronous algorithms using time for enhanced applicability and efficiency. * Analysis of algorithms, complexity theory, machine complexity using algorithmic complexity. * VLSI algorithms & complexity (tentative). This contains subjects such as realistic computational models, trade-offs between complexity measures, efficient algorithms for the design of VLSI and for the operation of such circuits, concrete VLSI algorithms. Algorithms for Vehicle Routing routing methods, based on recent advances in operations research, supported by interactive man-machine communication Vector Algorithms for Supercomputers development and adaptation of numerical algorithms for supercomputers and implementation on Cyber 205 and Cray 1. Software Engineering tools for building and manipulating computer programs. Concurrency formal description of concurrent processes Interactive Systems computer graphics, facilities for raster displays, dialogue-cells, and computer-integrated manufacturing (CIM) Distributed Operating Systems design and implementation of a distributed operating system (Amoeba), with special emphasis on fault tolerance, distributed control, and protection mechanisms. Performance Analysis of Computer Systems in particular analysis of congestion problems in computer networks. Distributed Information Systems distributed data base systems. Office Automation and Text Processing design and implementation of a flexible interactive system for storage, processing, distribution and typesetting of (mathematical) text Statistical Image Analysis development of theory and methods for statistical analysis of digitised images. Tools in Artificial Intelligence in particular development of programming tools and methodological foundation for expert systems. Although the language spoken in the institute is mainly Dutch, the CWI already employs a significant number of English speaking people, most of whom experience no serious language barriers. All scientific publications in the CWI are in English. Our computer centre speaks Berkeley 4.2 Unix. If you are interested, or if you would just like some more information, please send electronic mail (if possible including a curriculum vitae) For the starred * items to Paul Vitanyi @ CWI: ...!mcvax!paulv or snail-mail Paul M.B. Vitanyi CWI Kruislaan 413 1098 SJ Amsterdam The Netherlands and all other items to Sape Mullender @ CWI: ...!mcvax!sape or snail mail to: Sape Mullender Centrum voor Wiskunde & Informatica Kruislaan 413 1098 SJ Amsterdam The Netherlands We will answer any questions, or pass on your letter to the relevant research project group.