[DMANET] Postdoc in Complexity of Higher-Order Computation at the University of Victoria

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, 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 at

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


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************