Maximum Salary: 4970 UD 1 and 5,920 UHD 1 gross/month Vacancy number: 62.03.11 Closing date: 15 March 2011

Job description
_____________________
You will perform and disseminate novel research within one of the following two research themes.
1.Foundations, with a focus on logic, (symbolic) reasoning and mathematical reasoning, in particular topics like proof assistants, type theory and formalization of mathematics.
2.Machine Learning, with an interest in theory and an open eye towards applications, for example in neuroscience and bioinformatics.
As a member of the scientific staff of the section Intelligent Systems you will develop and teach courses within the general curriculum of students of Computer Science, Information Sciences and Artificial Intelligence. In particular you will contribute to the teaching of courses in algorithms and complexity theory. Other tasks include supervision of PhD students, postdoctoral researchers and supporting staff members, and the further development of the department?s regular educational and research tasks. Acquisition of external funding is part of the job profile. Furthermore, you are expected to contribute to the general organizational tasks of the section Intelligent Systems, like participating in work groups and committees at the faculty and institute levels.
Whether the position will be filled at the UD (assistant professor) or UHD (associate professor) level will depend on your CV.

Requirements
_____________
You are a successful researcher (PhD) in computer science, as demonstrated by publications in leading peer-reviewed journals, and have the capacity to obtain external funding. Your research experience should fit within one of the two themes mentioned above.
You have demonstrable excellent teaching experience in the field and should possess or will obtain the required teaching qualification (for
UD: BKO, for UHD: UKO).

Organization
_____________
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 section Intelligent Systems of the Institute for Computing and Information Sciences (iCIS) at the Radboud University Nijmegen conducts research on the development and application of intelligent systems that are able to learn and reason. At the latest national research assessment, the Intelligent Systems section received excellent scores and iCIS as a whole came out as the best computer science institute within the Netherlands.
Website: http://www.ru.nl/is/

Conditions of employment
__________________________
Employment: 1,0 fte
Maximum salary per month, based on a fulltime employment: ?4970 for Assistant Professor (UD 1) and ? 5,920 for Associate Professor (UHD 1 ) gross/month, depending on qualifications and experience.
Salary scale: maximum scale 12 (UD) and 14 (UHD) Duration of the contract: 1 year, with possible extension to permanent

Additional Information
__________________________
Prof.dr. Herman Geuvers (Foundations)
Telephone: +31 24 3652603
E-mail:herman@cs.ru.nl
Prof.dr. Tom Heskes (Machine Learning)
Telephone: +31 24 3652696
E-mail: tomh@cs.ru.nl

Application
In order to apply please send an application, with reference to vacancy number 62.03.11, including a full CV, information on research plans and teaching experience, and names and addresses of three references) before
15 March 2011 -preferably by email- to:
RU Nijmegen, FNWI, P&O, drs. D. Reinders P.O. Box 9010, 6500 GL Nijmegen, NL
Telephone: +31 24 3652027
E-mail: pz@science.ru.nl

No commercial propositions please. Female applicants are particularly encouraged to apply.