[Alta-Logic] Summer Research Opportunity for Logic Students

[Richard Zach]

If you know of any smart and capable undergraduates interested in logic,
please forward this to them!


Re: Summer Research Opportunity in Logic

Hi!

I've just been allocated an NSERC Undergraduate Student Research Award
for this summer, which means I get to hire an undergraduate student
registered in a science or engineering discipline for independent
research. Eligibility criteria are here:

http://www.nserc-crsng.gc.ca/Students-Etudiants/UG-PC/USRA-BRPC_eng.asp

It pays $4,500 for a full 16-week period.

You'd work on an independent research project related to logic, under my
supervision. If you're interested (and eligible!) please contact me asap
at rzach at ucalgary.ca and set up an appointment to discuss the details.
(I generally have time Tuesday and Thursday 12:30-2 and after 3:30, but
other days are possible.)  It would be useful if you could tell me what
background you have in logic (courses taken, grades).

Your research could be on applications of logic in computer science or
mathematics (knowledge representation, database theory, automated
theorem proving), or advanced topics in mathematical logic itself (esp.
proof theory, non-classical logics).

-Richard
http://www.ucalgary.ca/~rzach/