The Coq mailing list

[Rinus Plasmeijer <rinus AT cs.kun.nl>]

Our apologies if you receive multiple copies.

-----------------

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 AT cs.kun.nl

Attachment: FULL Professor in the Foundations of Computing Science.doc
Description: MS-Word document