Postdoctoral position in higher-order complexity theory, Victoria BC (Canada)

Bruce Kapron invites applications for a Postdoctoral Position in the Computer Science Department at the University of Victoria. Applicants with a background or interest in higher-order complexity theory, including models and techniques related to theory of programming languages, feasible analysis, bounded arithmetic, cryptography, and ordinary complexity theory are encouraged. Applicants should have a Ph.D. or be close to completion, in CS, Mathematics, Logic or a related field, with a strong publication record.

Successful applicants will be funded in part by the Pacific Institute of Mathematical Sciences (PIMS) Postdoctoral Fellowship Program. Applicants who are French, or have completed their Ph.D. at an institution in France, are eligible to be funded as a CNRS/PIMS Postdoctoral Fellow, and are particularly encouraged.