MALOA - From MAthematical LOgic to Applications

Marie Curie Initial Training Network in Mathematical Logic
PITN-GA-2009-238381


Latest news

(02/10/09). The Grant agreement has been signed by the EC, and received by the coordinator.

All studentships starting in the fall 2009 have now been filled. Next round of applications: spring 2010.

First MALOA Training Workshop: Fischbachau (near Munich, Germany), 6 - 12 September 2010. More details will be available later.

This is a an Initial Training Network in Mathematical Logic, funding PhD training, starting 1 October 2009. A proper website will soon be set up. The project will run for 4 years.

We will provide training in the following areas of Logic:

  • Model Theory
  • Logical aspects of complexity theory
  • Proof theory
  • Computability theory
  • Set theory
  • Real valued logic

The universities and research centres involved in this project are: Partners: 1. University of Leeds , UK (Coordinator), (H.D. Macpherson); 2. University of Manchester, UK, (G. Wilmers); 3. University of Oxford, UK, (B. Zilber); 4. CNRS-Lyon, France (combining Lyon 1 and Lyon ENS), (I. Ben Yaacov); 5. Université Paris Diderot, Paris 7, France, (Z. Chatzidakis); 6. Ludwig Maximilians-Universität, Munich, Germany, (H. Schwichtenberg); 7. Westfälische Wilhelms-Universität Münster, Germany, (K. Tent); 8. Charles University, Prague, Czech Republic, (J. Krajicek). Associated partners: 9. University of East Anglia, UK, (M. Dzamonja); 10. Onera, France, (R. Kervarc); 11. British Telecommunications plc, UK, (P. Cofta).

Starting date: 1 October 2009.

Proposed Appointments:
Nine 36 month PhD positions, starting 1 October 2009. All positions are now filled.
Nine 36-month PhD positions, starting September/October 2010.
Of the above 18 positions, three will be held at Paris and Lyon, two each at Leeds, Manchester, Oxford, Muenster, Munich, Prague.

We encourage potential applicants to make inquiries to the named contact of the university, as well as to the Coordinator (Dugald Macpherson, )

Applications should be sent electronically to the Coordinator (Dugald Macpherson, ) and to the relevant university contacts. They should include

  • A detailed curriculum vitae containing:
    • The candidate's academic record to date
    • A description of the mathematical training already undertaken (lists of courses etc)
    • Details of any language qualifications
  • A statement of which positions the candidate wishes to apply for, together with justification of eligibility for the positions.
  • The intended area of research within the topics of the Network.
  • The names and addresses (postal and electronic) of two people willing to write a letter of recommendation for the candidate.
Please, see also the elibility criteria, as well as possible special requirements at each centre. For more information about the centres and a list of senior researchers involved in the training, please click here.

Deadlines: The next deadline will be in the spring 2010.



Universities Positions Eligibility

Page maintained by Z. Chatzidakis,