Postdoc in Complexity of Higher-Order Computation

[Bruce Kapron]

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

https://www.mathjobs.org/jobs/list/18864

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