From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8613 Path: news.gmane.org!not-for-mail From: Alex Simpson Newsgroups: gmane.science.mathematics.categories Subject: PhD position available Date: Fri, 08 May 2015 09:16:48 +0200 Message-ID: Reply-To: Alex Simpson NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1431085401 17400 80.91.229.3 (8 May 2015 11:43:21 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 8 May 2015 11:43:21 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Fri May 08 13:43:10 2015 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.127]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1YqggP-00040v-SF for gsmc-categories@m.gmane.org; Fri, 08 May 2015 13:43:10 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:46357) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1YqgfB-0005Zx-Fk; Fri, 08 May 2015 08:41:53 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1YqgfA-000524-C6 for categories-list@mlist.mta.ca; Fri, 08 May 2015 08:41:52 -0300 User-Agent: Roundcube Webmail/0.9.5 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8613 Archived-At: I would be happy to receive applications for the position below from students with an interest in category theory. --- A position is available for a PhD student at the University of Ljubljana in the general research area of modelling and reasoning about computational effects. The precise topic is flexible, and will be decided in combination with the student. The PhD will be supervised by Alex Simpson who is Professor of Computer Science at the Faculty of Mathematics and Physics: http://www.fmf.uni-lj.si/si/imenik/32646/ The position will be funded by the EffMath project (see http://math.andrej.com/wp-content/uploads/2014/11/description.pdf). Full tuition & stipend will be provided. Applicants should have a master's (or equivalent) degree in either mathematics or computer science, and possess some background knowledge relevant to the project area. No knowledge of the Slovene language is required. The student will officially enrol in October 2015 at the University of Ljubljana, which is the largest university in Slovenia. There is an active research group in foundations of computer science at the Faculty of Mathematics and Physics, which includes Andrej Bauer, Matija Pretnar, Alex Simpson and a number of PhD students. As a city, Ljubljana is a beautiful and lively cultural centre, and Slovenia is a welcoming and picturesque country. Interested candidates should contact me by email (Alex.Simpson@fmf.uni-lj.si) as soon as possible. Please include a short CV and a statement of interest. Thanks, Alex [For admin and other information see: http://www.mta.ca/~cat-dist/ ]