From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4439 Path: news.gmane.org!not-for-mail From: Thorsten Altenkirch Newsgroups: gmane.science.mathematics.categories Subject: Lectureship at Nottingham Date: Fri, 4 Jul 2008 19:29:20 +0100 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 (Apple Message framework v924) Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1241019948 13312 80.91.229.2 (29 Apr 2009 15:45:48 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:45:48 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Sat Jul 5 09:41:59 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sat, 05 Jul 2008 09:41:59 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1KF6rD-000684-Hu for categories-list@mta.ca; Sat, 05 Jul 2008 09:27:15 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 6 Original-Lines: 96 Xref: news.gmane.org gmane.science.mathematics.categories:4439 Archived-At: Hi,=0A= =0A= we are advertising a lectureship in the Functional Programming Lab in=20=20= =0A= Nottingham. Note that the ad mentions "category theory" explicitely=20=20= =0A= and we'd like to see applications from people interested in=20=20=0A= applications of category theory in computer science. While the=20=20=0A= Functional Programming has been a research topic at Nottingham since=20=20= =0A= quite a while, the FP lab as an independent group was only created in=20=20= =0A= Autumn last year, see our new webpages=0A= http://sneezy.cs.nott.ac.uk/joomla/=0A= =0A= If you have any questions regarding the position (yes, it is a=20=20=0A= permanent faculty position, the teaching load is reasonable), the=20=20=0A= group or the location please don't hesitate to contact me. Application=20= =20=0A= is online and quite painless. Please remember: the deadline is *15=20=20=0A= August*.=0A= =0A= Cheers,=0A= Thorsten=0A= =0A= =0A= =0A= School of Computer Science=0A= Functional Programming Laboratory=0A= =0A= Lecturer in Computer Science=0A= =0A= Applications are invited for the above post in the School of Computer=20=20= =0A= Science. The successful candidate will be expected to participate in=20=20= =0A= the School's teaching activities and contribute to research in the=20=20=0A= recently formed Functional Programming Laboratory.=0A= =0A= Candidates must hold a PhD or equivalent in a relevant subject, have=20=20= =0A= an excellent publication record and the ability to teach at=20=20=0A= undergraduate and postgraduate level. It is desirable that candidates=20= =20=0A= have a track record of external research funding, collaboration across=20= =20=0A= disciplines, experience of different types of assessment and higher=20=20= =0A= education quality assurance. They should also have the ability to=20=20=0A= play a role in the routine running of the School of Computer Science.=0A= =0A= The Functional Programming Laboratory covers a broad range of topics=20=20= =0A= in the theory, practice, and implementation of functional programming=20=20= =0A= languages. Current interests include type theory, language design,=20=20= =0A= program semantics, program verification, modelling and simulation,=20=20=0A= category theory, programming tools, and quantum programming.=20=20=20=0A= Applications are welcome from any area that complements existing=20=20=0A= research strengths in the laboratory.=0A= =0A= Salary will be within the range =A330,912 - =A341,545 per annum, depending= =20=20=0A= on qualifications and experience (salary can progress to =A348,161 per=20= =20=0A= annum, subject to performance). This post is available immediately.=0A= =0A= Informal enquiries may be addressed to Dr T Altenkirch, tel: 0115 846=20=20= =0A= 6516, Email: Thorsten.Altenkirch@Nottingham.ac.uk or Dr G Hutton, tel:=20= =20=0A= 0115 951 4220, Email: Graham.M.Hutton@Nottingham.ac.uk. Further=20=20=0A= information about the School of Computer Science is available at: http://= www.nottingham.ac.uk/cs/=0A= =0A= For more details and/or to apply on-line please access: http://jobs.notting= ham.ac.uk/CJ24461S=20=0A= . If you are unable to apply on-line please contact the Human=20=20=0A= Resources Department, tel: 0115 951 3262 or fax: 0115 951 5205.=20=20=20=0A= Please quote ref. CJ/24461S. Closing date: 15 August 2008. Interview=20= =20=0A= date: 17 September 2008.=0A= =0A= =0A= This message has been checked for viruses but the contents of an attachment= =0A= may still contain software viruses, which could damage your computer system:= =0A= you are advised to perform your own checks. Email communications with the= =0A= University of Nottingham may be monitored as permitted by UK legislation.= =0A= =0A=