Logic List Mailing Archive

Professorship in the Foundations of Computer Science; Nijmegen

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