[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

The Foundations group at the Radboud University Nijmegen invites
applications for a 4 year position as:

       Assistant Professor (1.0 fte)

in the area of

       Computer Mathematics

The Radboud University Nijmegen is one of the leading academic communities
in the Netherlands.  Renowned for its green campus, modern buildings, and
state-of-the-art equipment, it has nine faculties and enrols over 17.500
students in approximately 90 study programmes.  The university is situated
in the oldest Dutch city, close to the German border, on the banks of the
river Waal (a branch of the Rhine).  The city has a rich history and one of
the liveliest city centres in the Netherlands.

The Foundations (F) group is part of the Institute for Computing and
Information Sciences (ICIS) at the Radboud University Nijmegen.  The
group studies mathematical theories concerned with computability,
provability and complexity. Notably, the group studies type theory,
lambda calculus and logic and also applies these theories in the area
of theorem proving and formalizing mathematics.

Foundations has an excellent international reputation and its research
program was singled out as "Excellent" in the last national research

The group currently has a job opening for an assistant professor (1.0
fte), for the period of 4 years. The position is financed by the
government sponsored mathematics cluster ``DIAMANT''.: Discrete,
Interactive and Algorithmic Mathematics Algebra and Number Theory. See

Task description

You contribute actively to the research of the group, in particular in
the field of Computer Mathematics, which is on the edge between
computer science and mathematics and deals with research into computer
formalized mathematics (formal definitions, computations and proofs)
and covers the spectrum from the mathematical-logical foundations of
systems for computer mathematics to the application of these systems
(as computer tools) to problems from mathematics an computer science.
This research forms part of the mathematics cluster DIAMANT. You
will be active in the research activities of DIAMANT. You act as daily
supervisor of PhD students.  You actively contribute to the teaching
activities at the BSc and MSc level carried out by the Foundations
group, and to directing student projects. This captures courses in the
Computing and Information Sciences curricula, but also courses taught
within the DIAMANT cluster, more specifically the development of a
course in Computer Mathematics that can both be followed by MSc
students from icomputing science and mathematics (as part of the
National master in mathematics).  You also carry out group management
and organizational tasks.

We welcome strong candidates with a background in mathematics or
computer science.
Requirements are
- a PhD degree
- experience as a postdoc (or equivalent), preferably abroad
- a strong research record as evidenced by publications and
 recognition by the international research community
- affinity with the ongoing research within Foundations
- demonstrated experience in attracting and managing external projects
- ample teaching experience and very good teaching skills
- strong committment to teaching
- record of effective teamwork
- good English speaking and writing skills are demanded, as well as
 the willingness to learn Dutch.

Conditions of employment
Maximum employment: 1.0
Maximum gross salary based on full-time employment: 4705 Euro
Maximum salary scale: 12
Duration: 1 year with a possible extension for a 3 year period

For additional information please see our website http://www.fnds.cs.ru.nl/
or  contact

 prof.dr. Herman Geuvers
 Phone: +31 (0)24-3652603

Applicants should submit their application to

[EMAIL PROTECTED] or via surface mail to Radboud University Nijmegen,
Faculty of Science, P&O Department, Attn.  Drs. D. Reinders, PO Box
9010, 6500 GL Nijmegen, The Netherlands, referring to number 62.71.06

Applications should include a cover letter, a research statement, a
teaching statement, a curriculum vitae, a list of publications, and
the names of at least two referees.

Application deadline: January 20, 2007

Reply via email to