coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Assistant/Associate Professorships in Nottingham

From: Graham Hutton <Graham.Hutton AT nottingham.ac.uk>
To: "fun AT cs.nott.ac.uk" <fun AT cs.nott.ac.uk>, "appsem AT lists.tcs.ifi.lmu.de" <appsem AT lists.tcs.ifi.lmu.de>, "spls AT dcs.gla.ac.uk" <spls AT dcs.gla.ac.uk>, "coq-club AT inria.fr" <coq-club AT inria.fr>, "agda AT lists.chalmers.se" <agda AT lists.chalmers.se>
Subject: [Coq-Club] Assistant/Associate Professorships in Nottingham
Date: Mon, 16 Aug 2021 10:17:36 +0000
Accept-language: en-GB, en-US
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=exmail.nottingham.ac.uk; dmarc=pass action=none header.from=exmail.nottingham.ac.uk; dkim=pass header.d=exmail.nottingham.ac.uk; arc=none
Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=ttL7dOcLI64EhAr/+bdj+x8pkKl1Abb8gtiKVkiTVWw=; b=Itn/wnDyO2J1706pfy7iUZS5/tXJYxtkB/yhEbrjUhKi6YvnJgLYGwE7rST+mybjMWcFhDY/nUPLI1HpeBisep7shkJZ+n/DdRNUDy5iRR999q7nCf+s1VBqT0gr6hRd0rvKL4X6Ws9Tb+et6/6P9JV8jBc/yZ9tf2o4OaxqYEKocta7hH2QhIGqjpgKEFrdaVESw3y8M2kWSaGdI20n+80iz2Y7PR4rmYb326otF9H7kaLclLIQtnGzaOB73R3GGATrl6o0WIbM1Ew/+nbC8wHy7kBjidJO6pr6OBrRrKglv3TlcUk3KTIvUyfNlfPZIpkl5oZmXIGRKwFGxLMBLw==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Q1TCTd0JqRrUlCmNRSckUoe6KJCVMDxGFnVOBhIM1Z5hwtiqzaI7hcIE2SRLg8y6sFbRn1Mzfmga0I0Fhhng/KQU5EYm+O4lLq+UCjqbYg7EU5HX8fAOhV/gjS2rONPkVE4NixnPgjmGUBl04DriitgrfERWH5foq4JA8hy4iYhYEDtb6D45sMF+6GY1wpUzxWXTT7eQW38Rpb0mS9r8zDch5HOeYR8ZeZtIQVniaMU0aKqnuuuVxcxWKZ66YupvvyP4cLQJKfEjbmi1uvA7BtLa2grN9vjQ1TtiQ/DprvvurV+ylPJpzsJN1yOiymhBct1WY6Gvy7kqjP0g4ztcjg==
Authentication-results: mail2-smtp-roc.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 uidappmx02.nottingham.ac.uk
Ironport-hdrordr: A9a23:BpTkNqx0/jiagUcPpHVZKrPxtOkkLtp133Aq2lEZdPUMSL3/qyiv9M506faGskdpZJhAo6H3BEDkexjhHPFOkOss1NuZMDUO/VHYS72KjrGSigEIeReOk9K1vJ0IG8ISNDSzNykfsS+Q2miF+qMbsbq6GdeT5ds2oU0DcShaL4VbqytpAAeSFUN7ACNcA4AiLYGR4spcqyDlUWgLb+ygb0N1HdTrlpnurtbLcBQGDxko5E2lljWz8ofgHxyZxBsFFxtS3LYH/WLFmwv4/KHLiYD/9jbsk0voq7hGktrozdVOQOaWjNIOEy7hjgazaJ4kc6GevQoyvPqk5D8R4Z3xiiZlG/42x2Laf2mzrxeo8RLnyiwW8HPnyUWVmz/Ji+aRfkNjN+NxwaZiNjfJ4Uspu99xlIhR2XiCjoFaCRPbkD643fLsPisa0HackD4Hq6o+nnZfWYwRZPt6tooE5npPHJMBBi7hrL09GO51FcfG+ctMeVyUb3rlrnBiqebcGUgbL1OjeAwvq8aV2z9ZkDRS1E0D3vUFknMB7p4mD5FC+uTfK6xt0KtFRsgda6VhCPYdKPHHV1DlcFbpCia/MF7nHKYINzbmsJjs+owv6OWrYpATiJ8/go7IXl9Ds3IocU6GM7zW4LR7tjT2BEmtVzXkzc9To7JjvKfnfaHmNS2YREprldChrfUZCsjQXva+P49XGvfvIHDjA5wh5XykZ7BibV0lFOEFsNcyXFyD5ujRLJfxj/fWdPbIKKCoCC0jUG/kGHcPGDPiYMZH8lutUnr5hxa5YQKwRmXPubZLVITK9ekaz4YAcqdWtBIOsE+04sGQJScHr7c/e1FmJqj7j7iyqma393vZ9mkBAGsGMm9lpJHbF19arw4DNE35NZwZvc+ERGxU1HybYjdiUsL/Cmdk1h9K0JPyC6bV6TEpCtqhPG7fpWAUvmi2Q5AVnbDGzdv5e6k/Eo0tVMVKZE/2/l1O6EtXQVV4GUA5r3zkZ33TYGKe/d0p7dTkBpVBacGQUI5pQDzkxAahTIoUNwMmtnaVILWqaKwVNmVpbxtKguciafO76EySAHp6j+IiPFJWbmOLRLpAEQSefY1R3qvmYQdqUA6x9EmnYr4ICxTXHmgp9x/cxBevCIP2K0sYvmod3rfh8VtyeGnYd0VsampiuYk4EWjdoH583eKCe6L2igKqGyw/6/BYNCuAbSoZIwtoydzy3BmJmCyaHXFjwpk1JOTSALkqbrmW0HKwL4+Dk70AApZvjeJY3fXVw542uM6kCnOoxQLDepMUMlau1wsY0QFP2QYZrc8=
Ironport-phdr: A9a23:5QZuLB9XhvXNvP9uWUu6ngc9DxPPW53KNwIYoqAql6hJOvz6uci4ZAqOvb401Q6BdL6YwsoMs/DRvaHkVD5Iyre6m1dGTqZxUQQYg94dhQ0qDZ3NI0T6KPn3c35yR5waBxdq8H6hLEdaBtv1aUHMrX2u9z4SHQj0ORZoKujvFYPekdi72/q29pHPbAlEmSexbLdvJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfMQA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb5Sq06WSm576dzVhDnlDsHOTA+8GHSkMNwjaRbqw+lqxFwx4PYZYeYP+d8cKzAZ9MXXWpPUNhMWSxdDI2ybIwBAPYOM+lXtIT9u0IOrR6iCQmsGO/j1DlFjWL2060g1OQhFBnL0g06H90UsHTbttD1P7oQX+Co0KnI0TLDb/VL0jr66YbIaAouofGWUrJ1a8bfy1QvFx/ZjlWXr4zoJDWV1uMRs2iH7upgU+2vi249pAF0uDSg3NsjhpPUhoIW013J8zhyz4kpK9OiUkF7fcKkH4VKtyGcL4Z7QN8vTm51tCs4xLMItoC3cSoXxZkpyRPRa+CLfouU7h/sWuicIzd2iXJndb6hhxu8/kqtxOP/W8Sp01tHoCRLn9/RvX4D0BzT79KISvp7/kq5xTaP1gbT6+FZIUAukarXMYIuwrk1lpcVrE/NHTf2lV3rgKOIdUgo4Pak5uvpb7n8qZKROZV4hhzgPqkugsCzH+U1PhQAUmWe5OiwyKfs8Ez8TblUkvE5iazUvZ7AKsgHo6O0BhJZ34Yl5h2iFTmpys4YkmMCLF9deBKIkYzpO1bWLfDlDPewnk6jkC9zx/DDMbztHovBImLFkLfmYbZ9909cyAw8zdBf/Z1UD6sNL+jvVUPrqdzYDQc1Mw2yw+n5FNVwzp4SVXyMD6ODLq/fvlGF6vggLuSCfoMZpSjxJvg96/7rl3A5mFsdfaez3ZsQbXC1BvVoI1+DbnrsmNgBFH0GsAgjTOz2lF2CVjhTam20X6I7+jE7FIOmDYHMRoCtmrOB2T23EYdKaWxcF1CMEm/kd5+YVPcUdCKSPshhnyQYWrimUo8tzA2htAvny7V8NefU4S0ZtZf71Ndv/eHTlBcy9SZ1D8uHyW2NQXt0zSs0QGp80r15iUdmjFGEzbQ+ivceCN8Zr6dHTwESPoWayetmF5b7UUTcfYHNAByvWs29DDQZStMq38RIf01mXdSsj1bH2jfsD7Jf3+iCHIQv/6f023nqO907133dkqgvjh8iR9YJOWDwwuY17BDXHKbFmF7fmKKjM60XmjPOvi/X1nKKp2lUWxU2XqHMG3kUIFbV+5CxrEjFVvqlDaktGgpH08+LbKVQIJW9hlJfAfznJd72YmSrmm72CwzegvvGZYXmck0Z3T7BEw4PkwkX+HucLk4lC23p92vRADVGEVP0f1iq+ul3rHa2VFRy1AzcPGN70L/g1QQchfWZA9MOwq4Dvm91hC99HF+4mfLLF8aHoSJne7lAYNUy4F5Ck2vS8RF+aM/zZ5t+j0ITJlwk93jl0A96X9kR+SDLhG4rwANqMaeIiAkHcTSEwZH2Nb3eLy/791ayaPyOsrk7+NCR5rsO7vs4olCltQrvC0lwqx2PPPFT1GeA55PFDAMXF5v6FFs0pUESmg==

Dear all,

As part of a strategic expansion, the School of Computer Science
at the University of Nottingham is seeking to make multiple new
appointments at the Assistant or Associate Professor level:

https://tinyurl.com/wruwpnpt
https://tinyurl.com/284svw4y

Applications in the area of the Functional Programming (FP) lab
are strongly encouraged! The FP lab is keen to receive applications
from candidates with an excellent publication record (e.g. papers
in leading venues such as LICS, POPL, ICFP, JFP, TOPLAS, etc) and
the ability to secure external funding to support their research.
Further information about the FP lab is available from:

https://tinyurl.com/y2ekdkqa

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

-- Graham Hutton and Thorsten Altenkirch

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] Assistant/Associate Professorships in Nottingham, Graham Hutton, 08/16/2021