Logic List Mailing Archive

Postdoctoral position in higher-order complexity theory, Victoria BC (Canada), Deadline: 20 Nov 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

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

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam