[FOM] vacancy

[Wim Veldman]

  I would like the following vacancy to be announced to all members of the
  FOM-list.
  Thanking you in advance,

Wim Veldman

-------------------------------------------------------------------------------
-

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 at 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 at dbf.kun.nl