deadline: 2003-11-17
Vacancy Junior Researcher/Ph. D. student
project: INTUITIONISTIC REVERSE MATHEMATICS.
The project will be supported by the Dutch Organization for Scientific
Research NWO.
The aim of the project is to study the strength of the various axioms for
Brouwer's intuitionistic analysis as formalized by Kleene and Vesley and
to answer the "reverse" question which of the theorems following from a
given axiom imply the axiom itself once they are allowed to play the role
of an axiom themselves.
It has to result in extensions and refinements of the results obtained by
Friedman, Simpson and their coworkers in their study of the strength of
the axioms for classical analysis.
The candidate is expected to complete a Ph.D. dissertation within four
years.
The project will be executed in close cooperation with Dr. W.H.M. Veldman.
Prof. Dr. H.P. Barendregt will act as the promoter.
Requirements
Required education/skills: University Graduate Candidates should have
completed or almost completed a Master's degree in mathematics, or have an
equivalent education.
Organization
University of Nijmegen Faculty of Science
Conditions of employment
Estimated maximum salary per month: eur 2000 - 2500
Salaryscale 11.
Maximum salary amount in Euro's a month 2490
Employment basis: Temporary for specified period
Duration of the contract: 4 years
Maximum hours per week: 38
Additional information about the vacancy can be obtained from:
Dr. W.H.M. Veldman, Subfaculteit Wiskunde
Telephone number: +31 24 3652972
E-mail address: veldman@math.kun.nl
Or additional information can be obtained through one of the following links.
About the organization (http://www.kun.nl)
About the department (http://www.fnwi.sci.kun.nl)
Application
You can apply for this job before 17-11-2003 by sending your application
to:
University of Nijmegen, Faculty of Science Personnel Department
Toenooiveld 1 6525 ED Nijmegen the Netherlands E-mail address:
pz@dbf.kun.nl