coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] 2 PhD studentships, MSP group, University of Strathclyde, UK

From: Robert Atkey <bob.atkey AT gmail.com>
To: agda AT lists.chalmers.se, coq-club AT inria.fr, idris-lang AT googlegroups.com
Subject: [Coq-Club] 2 PhD studentships, MSP group, University of Strathclyde, UK
Date: Mon, 3 Jun 2019 14:25:58 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=bob.atkey AT gmail.com; spf=Pass smtp.mailfrom=bob.atkey AT gmail.com; spf=None smtp.helo=postmaster AT mail-wm1-f53.google.com
Ironport-phdr: 9a23:ZN4cwBSO46hnpaU1I1xEY/+OGdpsv+yvbD5Q0YIujvd0So/mwa69bBGN2/xhgRfzUJnB7Loc0qyK6vmmADdfqsve+Fk5M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAiroQnLq8Ubj4lvJqkxxxbLv3BFZ/lYyWR0KFyJgh3y/N2w/Jlt8yRRv/Iu6ctNWrjkcqo7ULJVEi0oP3g668P3uxbDSxCP5mYHXWUNjhVIGQnF4wrkUZr3ryD3q/By2CiePc3xULA0RTGv5LplRRP0lCsKMSMy/WfKgcJyka1bugqsqQJ/zYDJY4+bOvRxcazBct0VXmdBQsRcWjZdDo+gYYYCDewMNvtYoYnnoFsOqAOzCxWrBOz01DBInGP21rAm3uQ9EgHJwgwhFM8JvXvPq9X6L70eXvqpzKnL0zrCb+hb2Tj46IfScxAhpeuAUq53ccrU0EQiER7OgFaIqYH9IT+ZyuAAv3KY4udgT+6jlnArpgJrrjWvyMogkpTFi4wJxlze6Cl0wII4KcelREN4btOoCoZcuz+HO4ZwX8gsWXtnuDwgxb0DoZO7fDYFyJAgxxPHbvyIaYmI4hb6WOefJDd0mWtpeLy/ihu860Sgxer8Vs670FZOsCVJiMXDtncI1xDL68iHTOVy/lu51DqRywze7vtILEM0mKbBNpIt3L09moATvEnNBiP2nV/5jK6SdkUq4Oio7OHnb639qZ+bLIB4kBvxMrgtmsOhAeU1KQcOX22B9uS90L3v51H2QLJPjvEuiKnWrIjaJdgHpq6+GwJazoEj6w+mAzi61NQYgGIIIUleeBOHiojpI0vBLOr5Dfe5mVSskS1ky+rIPr37Ud3xKS3Kn7voVbJ88FJHjgEzxNRa6ohPTKoMZLr4XVa0v9jFBDc4NRa1yqDpEpE1148EWHnKBqafP4vdtliH4u8gOe6RfJRTszH4eNY/4Pu7t3gzlEUBNYC13pYGICSyGf4gKlmabGvEjdIIEGNMtQ07Gr+5wGaeWCJeMi7hF5k34Ss2Xdr/UNXzA7u1ibnE5x+VW51bYmccVwKJGHbsMpqBArICNXnULchmnTgJE7OmTt15jE38hErB07Nia9Hs1GgAr5u6jYp64uTSkVc58jkmV53MgVHIdHl9myYzfxFz2al+pUJnzVLaiPp3hvVZEZpY4PYbCwo=

******************************************************************
*** 2 x PhD Positions
***
*** Mathematically Structured Programming Group
*** University of Strathclyde
***
******************************************************************

Applications are invited for PhD study on any aspect of functional programming, type theory, logic, category theory, coalgebra etc. Candidates need not have a topic in mind, as we have plenty of ideas! The positions are expected to start on 1 October 2019, is fully funded for UK or EU students and will last for 3 years. The MSP group at the University of Strathclyde contains some marvellous researchers (if we do say so ourselves) and prides itself on its friendly and welcoming atmosphere. Members of the group are Dr Bob Atkey, Dr Ross Duncan, Dr Fredrik Forsberg, Professor Neil Ghani, Dr Clemens Kupke, and Dr Conor McBride.

Anyone interested should in the first instance contact Professor Neil Ghani (neil.ghani AT strath.ac.uk) and outline their academic background. Applications will be considered on a first come, first served basis.

Please distribute to interested parties.

[Coq-Club] 2 PhD studentships, MSP group, University of Strathclyde, UK, Robert Atkey, 06/03/2019