coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Associate Professorship (~ tenure track faculty) in Programming Languages at Oxford
Chronological Thread
- From: Jeremy Gibbons <jeremy.gibbons AT cs.ox.ac.uk>
- To: coq-club AT inria.fr
- Cc: Jeremy Gibbons <jeremy.gibbons AT cs.ox.ac.uk>
- Subject: [Coq-Club] Associate Professorship (~ tenure track faculty) in Programming Languages at Oxford
- Date: Thu, 10 Dec 2020 18:11:17 +0000
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jeremy.gibbons AT cs.ox.ac.uk; spf=Pass smtp.mailfrom=jeremy.gibbons AT cs.ox.ac.uk; spf=None smtp.helo=postmaster AT relay19.mail.ox.ac.uk
- Ironport-phdr: 9a23:mr/CRBbRDHJzjB29OXag1mz/LSx+4OfEezUN459isYplN5qZrsy8bnLW6fgltlLVR4KTs6sC17OJ9fmwASdZuc/JmUtBWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MRe7oR/MusQVnYduJbs9xgfUrnBVZ+lY2GRkKE6JkR3h/Mmw5plj8ypRu/Il6cFNVLjxcro7Q7JFEjkoKng568L3uxbNSwuP/WYcXX4NkhVUGQjF7Qr1UYn3vyDnq+dywiiaPcnxTbApRTSv6rpgRRH0hCsbMTMy7WfagdFygq1GuhKsvxxxzJLbb4+IN/RwcL3Tc9QBSGVbQspRUjZMAoOgY4cRCecKIOZWr5P6p1sLtRawARejBPnxxT9Nhn79wKw00+U6Hg7d2wwgGckOu2nTodX3KqgSS/66zKzIzDnZYPNW2Czy55PPchAnuvGBRq5/cdHLxUkoGALJlE+fppD/MzOI1eQAqm6W5PdvWuyzkWAosR1xoiSxycc2jInEnoIYxF7Z+Ch3wIs4Idy1RU9mbNOlDpdduTyXO5ZoT84tXmxmtjg2x70HtJO4ciUH1IorygLQZvGHboSF/BPuWfuXLDxlinxlf7e/iAyz8Uim0uD8Uca13ExQoSVZiNXMq3MN2wTP5ciAUPty4Eeh2SyV2w/P7eFEJEY5nrfYJZ452rM8i4QfvEDZEiL3mkj6lrKael859uWq9+jrerbrq52GO4Nplw3zPL4iltG+DOgkKAQDX3aX9OKh37P550L5Wq9Fjvgun6nZrp/aIcMbq7ajAwBL1oYs8Ra+Ayqi3dgCmHkINlNFeBadg4juNFDCOur3Auulj1Sxkzdn3/HGPrv/DZXRNnXPjantcLJn50Ndygc/181T64hJBrwDPP7/Qkrxu8bZDh89PQy02eHnCNBl24McR22PGLGWMKbSsFOS6eIvIvKDa5QSuDb7MPgo/OLhjWQjlV8acqilx4EYZ2yiEvR7IEWVeWDsjcsZEWcWogo+S/Tnh0GFUT5Kfnq9Q6Y85iwgB4+9FofCRoWtgKSb0yuhH51WYHpGClGWHnvyeYWEQaREVCXHKch41zcASLKJSok71BjouhWp5aBgK7/29zcVsIOr+9l/7erVjllm9zFuAsGMlW6MRWtzmHggTCRw27A5qEc711TVgvswuOBRCdEGv6ABaQw9L5OJl7UmWeC3YRrIe5KycHjjWs+vWGpjRcl3xM9Iak07Btbw1kmSjRrvOKcckvmwPLJx96vd23brIMMkkCTNz+8mnx8vSY1SNj//3/Mtx03oH4fM1n6hueOqeKAbhnWf7mqHxHvX7QddWQ90F6LVG3kUIFbV/4z0
The Department of Computer Science at the University of Oxford has an opening for an Associate Professorship and Tutorial Fellowship in Programming Languages. This is the traditional kind of academic position in Oxford, analogous to tenure track in the US. It's at University College, one of the three colleges with claims to be Oxford's oldest, and with one of the colleges with the biggest representation of CS fellows, so you'd be in good company. It includes a significant housing allowance on top of the usual salary.
Application deadline is 15th February 2021; interviews are expected to be on 29th March, are likely to be online.
I am happy to answer any questions; please do pass on to anyone who might be interested.
Jeremy
Jeremy.Gibbons AT cs.ox.ac.uk
Oxford University Department of Computer Science,
Wolfson Building, Parks Road, Oxford OX1 3QD, UK.
+44 1865 283521
http://www.cs.ox.ac.uk/people/jeremy.gibbons/
Oxford University Department of Computer Science,
Wolfson Building, Parks Road, Oxford OX1 3QD, UK.
+44 1865 283521
http://www.cs.ox.ac.uk/people/jeremy.gibbons/
- [Coq-Club] Associate Professorship (~ tenure track faculty) in Programming Languages at Oxford, Jeremy Gibbons, 12/10/2020
Archive powered by MHonArc 2.6.19+.