Postdoc in Complexity of Higher-Order Computation

Bruce Kapron bmkapron at
Sun Nov 7 13:05:37 EST 2021

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.

Interested applicants should submit their application materials by November 20, 2021 to

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20211107/90b84e03/attachment-0001.html>

More information about the FOM mailing list