Through the PIMS UVic Site, Bruce Kapron (Computer Science Department, University of Victoria) is seeking a postdoc with a background or interest in higher-order complexity theory, including models and techniques related to theory of programming languages, feasible analysis, cryptography, and relevant areas of ordinary complexity theory, such as search complexity. Applicants should have completed or be near to completing a Ph.D. in Computer Science, Mathematics, Logic, or a closely related field. |