[Job-offers-cs] Postdoc in Complexity of Higher-Order Computation at the University of Victoria

[Pekka Orponen]

-------- Forwarded Message --------

Subject: 	[DMANET] Postdoc in Complexity of Higher-Order Computation at 
the University of Victoria
Date: 	Fri, 5 Nov 2021 16:44:48 +0000
From: 	Bruce Kapron <bmkapron at uvic.ca>
To: 	dmanet at zpr.uni-koeln.de <dmanet at zpr.uni-koeln.de>



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>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://list.aalto.fi/pipermail/job-offers-cs/attachments/20211115/756caa9b/attachment-0001.htm