[TYPES/announce] Scientific Programmer Vacancy

Herman Geuvers herman at cs.ru.nl
Wed Mar 10 11:49:15 EST 2010


  Scientific Programmer for the Intelligent Systems Section of ICIS (1,0
  fte)


*Faculty of Science*
*Maximum Salary: € 3,755 gross/month*
*Vacancy number: 62.10.10*
*Closing date: 15 March 2010*

*Job description*
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.

*Requirements*
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.

*Organization*
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.
Website: http://www.ru.nl/icis/

*Conditions of employment*
Employment: 1,0 fte
Maximum salary per month, based on a fulltime employment: € 3,755 
gross/month
Salary scale: 10

*Additional 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.

*Additional Information*
Herman Geuvers
Telephone: +31 24 3652603
E-mail: herman at cs.ru.nl <mailto:herman at cs.ru.nl>

*Application*
You can apply for the job (mention the vacancy number 62.10.10) before 
*15 March 2010* by sending your application -preferably by email- to:

RU Nijmegen, FNWI, P&O, mrs. D. Reinders
P.O. Box 9010, 6500 GL Nijmegen, NL
Telephone: +31 24 3652027
E-mail: pz at science.ru.nl <mailto:pz at science.ru.nl>

-- 
Herman Geuvers
Professor of Computer Science
Intelligent Systems, iCIS
Faculty of Science
Radboud University Nijmegen, NL



More information about the Types-announce mailing list