Netherlands: Scientific Programmer for the Intelligent Systems Section

Font size: Decrease font Enlarge font

The Intelligent Systems Section of the Institute for Computing and Information Sciences (ICIS) at Radboud University Nijmegen has a vacancy for a Scientific Programmer. The job consists of two aspects, each being roughly 0.5 FTE (more details below): 1. Computer support for the section staff and, together with scientific programmers from other sections, computer support for ICIS as a whole (“Computer Support). 2. Programming support for the Section’s scientific research projects, in particular for the projects of the Foundations Group (Research Support). Further particulars: The Intelligent Systems Section of ICIS concerns itself with making computer systems more ‘intelligent’. Research at the Section pursues both the connectionist and the symbolic approach. The connectionist approach adheres to the statistical view on knowledge; our specific expertise lies in Bayesian methods and machine learning with main applications in bioinformatics and neuroscience. The symbolic approach adheres to the (formal) logical view on knowledge; the specific expertise of the Foundations Group lies in type theory and proof assistants with applications in software verification and formalization of mathematics. The Section has an excellent international reputation, which is supported by the latest national research assessment. Keywords: type theory, lambda calculus, term rewriting, reflection, proof assistants, formalizing mathematics, machine learning, bioinformatics. As a Scientific Programmer, you will contribute to the two aspects of the work performed at the Section as indicated above. Research Support. The Section has developed and continues to further develop various tools and systems: CoRN (the Constructive Repository of formalized mathematics in the proof assistant Coq at Nijmegen), ProofWeb (a web interface for the proof assistant Coq, to teach logic and formalizing mathematics) and MathWiki (a generic Wikipedia-like web portal for formalized mathematics). The section staff are users of the proof assistants Coq, Mizar and Hol-light. You will be expected to support and contribute to these projects. Prior experience with these systems would be advantageous. Computer Support. You will: – give advice on purchase and install new computer software and hardware; – support and maintain these systems; – keep close contacts with the faculty computer support department C&CZ; – maintain the web pages and information databases; – provide computer support for educational purposes.


You should meet the following requirements: – a Bachelor’s degree (or equivalent) in Computer Science, with an interest in functional programming and formal methods; – commitment and a cooperative attitude; – proficiency in written and spoken English.

Conditions of employment

The appointment is initially for a period of one year, at the end of which your performance will be evaluated. If the evaluation is positive, you will be offered a contract for a permanent position.

Contract type



Radboud University Nijmegen

Strategically located in Europe, Radboud University Nijmegen is one of the leading academic communities in the Netherlands. A place with a personal touch, where top-flight education and research take place on a beautiful green campus in modern buildings with state-of-art facilities.


Faculty of Science

Radboud University Nijmegen is one of the leading academic communities in the Netherlands. Renowned for its green leafy campus, modern buildings, and state-of-the-art equipment, it has nine faculties and over 17,500 students enrolled 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. The city has a rich history and one of the liveliest city centres in the Netherlands.

Additional information

Radboud University Nijmegen

Herman Geuvers
+31 24 3652603

Be Sociable, Share!

No Comments

Post your comment comment

You must be logged in to post a comment.