[Prev][Next][Index][Thread]
Job Opening: Professor in the Foundations of Computer Science
Job Opening
Professor in the Foundations of Computer Science
Nijmegen Institute for Computing and Information Sciences
University of Nijmegen
Toernooiveld 1
6525 ED Nijmegen
At the beginning of this year, the head of the Nijmegen Computing Science
Foundations Group, prof. dr. H.P. Barendregt, received the prestigious Dutch
Spinoza award. The award comprises a stipend that makes it possible for him to
focus entirely on his own research.
The faculty is therefore looking for a new person to head the Foundations Group.
Description of the work.
As head of the Foundations Group you will lead and inspire the research and
teaching activities that take place in the group.
You perform fundamental research in areas such as: algorithms and data
structures, automatic deduction, complexity theory, concurrency, cryptography,
databases, logic, machine learning, parallel and distributed computations, proof
verification, rewrite systems, security, semantics of programming languages,
specification and verification of programs, and type theory.
You are an excellent researcher according to international standards in one or
more of the above mentioned research areas.
We expect you to use your own background, experience and expertise to lead the
ongoing research in the group. Furthermore, we expect that you want to
collaborate with prof. dr. H.P Barendregt.
Your own research should have connections with one or more of the other research
groups at the Nijmegen Institute for Computing and Information Sciences (see:
http://www.cs.kun.nl/research/profile/) to ensure a good embedding of your
research within our Institute.
You are responsible for supervising the teaching activities of the Foundations
Group at both the undergraduate and graduate level, as well as for the
supervision of PhD students.
You will lead the Group, and contribute to the regular management tasks that a
head has to fulfil within the Institute, the Faculty and the University.
Desired qualifications
You are an excellent researcher according to international standards in one or
more of the above mentioned research areas.
You have affinity with one or more of the following research areas: lambda
calculus, type theory, rewrite systems, formalisation of computer science,
formalisation of mathematics, or complexity theory.
You are willing to make a contribution to the research activities of the newly
established Information Science study.
You have a broad and clear vision of academic education, both regarding its
content as well as its form. You are an excellent and experienced teacher. You
have supervised students at the masters as well as at the PhD level.
You are an experienced leader of research projects, and worked in collaboration
with other universities and industry.
You are familiar with performing management tasks.
You are able to profile yourself to the outside world, to new students, to
similar foreign research groups, and to industry.
Tenure track
The position we offer is a tenure position. The maximum monthly salary is 6.642
Euro (12 months + 1 additional month).
Deadline
The deadline is 15 September 2003.
To apply for the position, you are asked to submit an application letter with
detailed CV and publication list to:
Mw. Dee Reinders,
afd. Personele Zaken,
Faculteit NWI,
Toernooiveld 1,
6525ED Nijmegen,
The Netherlands.
Information
If you would like more information, please contact:
prof.dr.ir. M.J. Plasmeijer
phone: +31 24 365 2644 / +31 24 696 2087
email: rinus@cs.kun.nl