FOM: PhD Scholarship in Logic

[Edwin Mares]

Sorry if you receive multiple copies.
Please pass this onto students who are interested in logic.

>
>Please advertise
>
>
>---------------------------------------------------------------------
>                     PhD SCHOLARSHIP AVAILABLE
>                                at
>                 VICTORIA UNIVERSITY OF WELLINGTON
>
>
>SUBJECT:     Logic
>
>CONTACT FOR ENQUIRIES:
>
>Prof Rob Goldblatt
>School of Mathematical and Computing Sciences
>Email:  Rob.Goldblatt at mcs.vuw.ac.nz
>Phone:  +64-4-463-5660
>Fax:    +64-4-463-5045
>
>OR
>Dr Ed Mares
>Department of Philosophy
>Email: Edwin.Mares at vuw.ac.nz
>Phone: +64-4-463-5233  extn:  8647
>
>
>SUMMARY
>
>Victoria University has a strong inter-disciplinary group in Logic,
>involving staff from Computer Science, Mathematics, and Philosophy.
>Information about the members of this group and their activities can be
>found at
>http://www.mcs.vuw.ac.nz/~neil/logic/
>
>We seek to recruit a PhD student who will undertake research in an aspect
>of philosophical, mathematical or computational logic. Areas in which
>supervision will be available include
>
>* Intensional and Non-Classical Logics, including topics such as Modal
>Logic, Relevant Logic and Constructive Logic;
>* Computational Logic, including topics such as Program Refinement,
>Automated Reasoning, and Program Specification and Verification.
>* Algebraic and Categorical Logic;
>* Non-Standard Analysis;
>* Model Theory and Set Theory;
>
>VALUE:  NZ$12,000 per annum plus tuition fees
>
>CLOSING DATE FOR APPLICATION:
>
>	1 OCTOBER 1999.
>
>Study begins in 2000.
> 
Edwin Mares
Head
Department of Philosophy
Victoria University of Wellington
P.O. Box 600
Wellington, New Zealand
ph: 64-4-471-5368