coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] New assistant/associate professor positions in Nottingham

From: Graham Hutton <Graham.Hutton AT nottingham.ac.uk>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] New assistant/associate professor positions in Nottingham
Date: Mon, 20 Aug 2018 13:58:07 +0000
Accept-language: en-GB, en-US
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Graham.Hutton AT nottingham.ac.uk; spf=Pass smtp.mailfrom=Graham.Hutton AT nottingham.ac.uk; spf=None smtp.helo=postmaster AT uidappmx06.nottingham.ac.uk
Ironport-phdr: 9a23:A6JdehPDZSYu9sIZTnYl6mtUPXoX/o7sNwtQ0KIMzox0I///rarrMEGX3/hxlliBBdydt6oazbKO+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxlJiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPdeRWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbYUwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhSkHKTA37X3XhMJzgqJavB2vqBNwzpXIYI6OMfpyYr/Rcc8YSGdHQ81fVzZBAoS5b4YXDuQBJ/xXr4nnqFsLsBCwBxSsBP/zyj9PgH/9wKo33eU7EQ7c3AwvBdcOvG7WotXoKKcSTee1zK/TwDXFaPNWxSv96InOchAuofGDR7dwfdDLxkYzDQ/Fk1aQpJXjMjiI2OoNtG2b4PBhVeKpk2MnrQZxoiSzxsctjInJiYIVxUrB9Slj2ok6Oce0SFN4YdK8FptQsD2aN5dsTsw4X25kojs6yr4AtJWmfyYK0IwqywPBZ/GEaYSE/B3uWeiLLTp3in9pYq+ziwi2/ES41+HwSMq53ExUoidKnNTArG4B2wDJ5sWGSvZx5kmh1iiM2gzP7+xJJF07mKrGJJI/x7M/jYQfvEvfEiLzlkj5kLSZe0Uh9+S29uvnbLbrq5mBPIFukA7+KL4hmsmnDOQ4LAcOW2+b9Pyh1L3i4EL2Wq1KjuUzkqjWrJzXJN4Xpqi+Aw9JzoYj6hC/Dzim0NsCmHkLNkhKdw6dg4j0OFHCOPH4DfGhjFSwiDpn2u7KM777DpnTIXXOnq3tcLlz5kJG1QY/09RS64pRCr4bIfLzXkHxtMbfDh88KwG6wvznB8991owEXGKDGK2XML7OsV+U4eIvJfKBZIkSuDbhN/gl5vjujXA5mVAHeKmlx4EYZ2yiEvR7IEWVeWDsjcsZEWcWogo+S/Tnh0GFUT5Kfnq9Q6Y85iwgB4+9FofCRoWtgKSb0yuhH51WYHpGClGWHnvyeYWEQaREVCXHaMRmi3kPUaWrY44nzxCn8gHggfIzJe3NvyYcqJjL1d5v5uSVmwtkphJuCMHI/HuET2hx1kMVWyMx2ugrjlZ0yl6Gl4hln+BfE/RV4O9VUwE1NZfZieVxTc3xDFGSNuyVQUqrF431SQo6Scg8lodXMhRNXu66hxWG5BKERroclriFHpsxq/KO2X/tO8d7xHbP0e8ohB87QZkWbDH0tutE7wHWQrXxvQCBja/zJfYa2zLR9WGMzWOL+khTFhNzA/2cACIvI3DOpNG83XvsCr+jDbN9Y1lcyMKLMrNPeoW3y1NBWOviPtveamf3kmz2GBXanr4=
Spamdiagnosticmetadata: NSPM
Spamdiagnosticoutput: 1:99

Dear all,

The School of Computer Science at the University of Nottingham is
seeking to make multiple new appointments (potentially up to 6)
at the Assistant or Associate Professor level:

https://www.nottingham.ac.uk/jobs/currentvacancies/ref/SCI190718

Applications in the area of the Functional Programming (FP) lab
would be most welcome. The FP lab is keen to receive applications
from candidates with an excellent publication record and the
ability to secure external funding to support their research.
Further information about the FP lab is available from:

https://www.nottingham.ac.uk/research/groups/fp-lab/

The deadline for applications is 30th September 2018. The advert
mentions some specific research areas, but the positions are open
to applicants from any area of Computer Science.

Best wishes,

Graham Hutton

—
Professor Graham Hutton
School of Computer Science
University of Nottingham, UK
http://www.cs.nott.ac.uk/~pszgmh

This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please contact the sender and delete the email and
attachment.

Any views or opinions expressed by the author of this email do not
necessarily reflect the views of the University of Nottingham. Email
communications with the University of Nottingham may be monitored
where permitted by law.

[Coq-Club] New assistant/associate professor positions in Nottingham, Graham Hutton, 08/20/2018