coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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>, "haskell-cafe AT haskell.org" <haskell-cafe AT haskell.org>, "haskell AT haskell.org" <haskell AT haskell.org>, "types-announce AT lists.seas.upenn.edu" <types-announce AT lists.seas.upenn.edu>
- Subject: [Coq-Club] Assistant Professorships in Nottingham
- Date: Tue, 17 May 2022 07:05:23 +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-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=Qjbxl2EPkDjXiwiu3niHaxMZ8xAoEh4bE8VW59aJudg=; b=F+S10BefFmghT0y29z2K1HHnLT2mY+NaMEvEZX0ITfCyOh1bY5KKmpBbcgwGRsU6MyZJgdX2zustF5JwaXcMv6VlJpFfq+ZwTnXUxjnisChBmECrcfmpYKEpitr3LafOEVvqeFwqi6MVyZVm4v1kuqjG3fbeFXWgRrv/29GZA01Zq0yRcRb/fvZa869e923CtLM67wV9Bpyn9Z1d8sVHc435z5xR4XMYtapHiQ9E05KrNIefp/24TMOSHbE3SG3WKeNyKncBe5yFM2rqUXqQh6qz3Zd8NhSRnD8OlFt+iwcuU+u/ncfEUNi3kVMz8EklWTg9FKcAC+3J7pP0W9a2cw==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=HXkUeR4OLTzwA3LOKCCoCuHZ7gJ7Qix5my+2JpoCExktDXMZaIg0XDMm9U9dZjrLfF1kOKIGJ6yUA3fFSE136gLh8yJDWZr2XOGevTtkGGDqjndKiE338a/Dfnyc4/dIRYoB7f8Vm9MrzEjMPYJr0uEqucE+wd8m+GdWNROL4QW/XhWGbDtCwEis9igwVFDkRlXhc9cYwj8pSRVU+VdSlapN7fcr9VnqsMfgTN5SsopVw/N8iPrExoCfPNNoU6oCflwAizldsz39Ky5ZR1StS+1CQsBfweNHkEWglhiHfgGNz3rZnyEgW/24uxy2+LQjuEhEbNn3A2Me7wJp2BYkqA==
- 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 uidappmx05.nottingham.ac.uk
- Ironport-data: A9a23:y9z12aNDB53LSDbvrR0ckcFynXyQoLVcMsEvi/4bfWQNrUon3z0Gz TdODWiGbP7cYWqmKdgiaInk8ENVuMeAmNBiHXM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8kk/vgqoPUUIYoAAgoLeNfYHpn2EsLd9IR2NYy24DkWlzV4 LsenuWGULOb824sWo4rw/nbwP9flKyaVOQw4zTSzdgS1LPvvyF94KA3fcldHFOkKmVgJdNWc s6YpF2PEsw1yD92Yj+tuu6TnkTn2dc+NyDW4pZdc/DKbhSvOkXe345jXMfwZ3u7hB2jupds7 vtkhaeTFxUKAvT0tNRNdl5xRnQW0a1uoNcrIFCisMCa11XDYyOxhfNpEF03O4IY8+MxCGoI6 P9wxDIlN0rTwbjqm/TnEa813JRLwMrDZOvzvllP1zjZBPNgYY3fX6LMzdlfwCsxgM9OFPOYb sFfdDkHgBHoOEMRYwtOUclWcOGAp2P+bRpJiluutLcW0XHNllBcz7PyL4+AEjCNbZ4JwBrB/ ziuE37CKhodLZmUzSeP2mm9g/fG2yL9QoMbUrOinsOGm3WOx2AaEAUTRQPm5/++llK/Xd1fI klS8yFosKtaGFGXosfVdTj/vViqly4neIRCMNFj0C29mo+TylPMboQbdQJpZNsjvc4wYDUl0 F6Vgt/kbQCDVpXJFhpxEZ/J8FuP1TgpwXwqOHVVEFBVizX3iMRq10+QFr6PBYbo5uAZDw0c1 BilhkDSbZ01itIX1qO0/VnC695Hjr7mEWbZCi36WG2h5wV1DLNJiqS16FTS9e5FPN7ECF+Go GQFncee5eVIBJrLiS/lrAQx8FOBuajt3N702AAH83wdG9KFoC7LkWd4vG8WGauRGpxYEQIFm WeK0e+r2LddPWGxcYh8aJ+rBsIhwMDITIq4DK+OM4oUPcEqJGdrGR2Cg2bOhQgBd2ByyskC1 WuzK5byZZrnIfs9kWHqG791PUEDn3hhlTm7qW/HI+SPiubAOCfME9/pwXOMZ+Y08OuZpgTL/ sxENtebgxNSTPL5eCq/zGLgBQ5iEJTPPriv85Y/XrfaemJOQThxY9eMn+9JU9E7zsx9y7eZl lngCxQw4Aeu2hXvd17QAlg9M+yHYHqKhS9hVcDaFQz2iyFLjEfGxPp3SqbbipF9r7w+ka8tF qRaEyhCa9wWIgn6F/0mRcGVhORfmN6D3Gpi5gKpP2oyeYBOXQvM9oO2dwfj7nBQXCywqdc/p bKg3wadSJFFWgc7VJTab/emzlWQu3kBmbsqARuWcoANIB3hoNpwNij8rv4rOMVQex/N8T2Xi lSNChACqOiR/oI4qYGbha2No4qzPfF5G05WQzvS4bqsbHeI+G2/3Y5GX+aBeHbUXyXp+/z6N +lSyvj9NtwBnUpL6tIiQ+g7lPxmv9a2/u1U1AVpGnnPfm+HMLI4LynUx9RLu41M2qRd5Vm8V HWJ94QIIr6OIs7kTAMcKQd5POSO0fYYxmvb4fgvehqo+S579aKfVFUKYl+KjzBBLb16MIogh +4q/tMVslTthh0vO9eAryZV62XVdiJQDfV+6MlCDd+5kBcvx3FDfYfYVH387qaPXMoQYEMkF TmZ2fjZjLNGy0ufLXdqTSrR3fBQjIglsQxRyANQPEyAn9fI2q0t0BtK/WhlRwhZ1E8Ygf9yN mFzL0hlffjI+TB0mMlFUGClHkdID1uE+RWpmVcOkWTYSWiuV3DMdTVjabjdpR5Bq28MLCJG+ Ly4yXr+VWi4ds/G3hwtBRxvpcvlQIEj7QbFgs2mQpqIRsFofTr/j6ayTmMUsB+7U9gpjUjKq OQCEDycskEn2fr8YpHXCrV2EZwNSRyNPHRHUak8uqUOAX3dfj6y0D3IIkv3Z8AlyzkmN6OnI 5QGGy6Nf03WOOWyQvQzA6kQP75yk/4g4ZwLcfX2JgbqdpOB+yFxvsu4GjfW3QcWrhYHrSr5A oXWay6DFGOQjH4SkmSLscos1q9UpzUbTFWU4d1ZO9nl237OXC+AvK3yPnaJU62pDTZa
- Ironport-hdrordr: A9a23:2elrO61z+G0Yo4fALcJpBgqjBe9xeYIsimQD101hICG9Lfbo9f xGzc5rtiMc1gxwZJh5o6H9BEEZKUmsu6KdkrNhQotKOzOW+VdATbsSorcKrAeQYREWmtQtsp uIEJIOSOEYb2IK8PoSiTPQe71LrbXpnsHY4Ja7854Hd3ASV0gU1XYDNu/tKDwPeOApP+teKL Osou584xawc3Ueacq2QlMfWfLYmtHNnJX6JTYbGh8O8mC1/HCVwY+/NyLd8gYVUjtJz7tn23 PCiRbF6qKqtOz+4gPA1lXU849dlLLau5l+7Y23+40owwfX+0GVjbdaKvu/VfcO0biSAWMR4Z 3xStEbTpxOAj3qDzqISFDWqnfdOX4Vmg7fIBmj8CHeiP28fhoBK457r6R1XnLimhYdleA56r tC2yaivZxNAXr77XnADpHzJmJXv1vxrnw4neEJiXtDFYMYdb9KtIQauFhYCZEaAUvBmcoa+H kHNrCt2B96SyLTU5nihBgl/DVsZAVFIj6WBkwZ/sCF2Tlfm350i0Me2cwEh38FsJYwUYNN6e jIOrlh0OgmdL5bUYttQOMaBcenAG3ERhzBdGqUPFT8DakCf3bAsYT+7rk57PyjPJYI0Jwxkp LcV04wjx9+R2v+TcmVmJFb+BHER2uwGTzr18FF/pB8/qbxQbL6WBfzAWzGU/HQ1cn3LverLs pbYqgmccMLBVGebbp04w==
- Ironport-phdr: A9a23:zJdHYRNblx2hcpKjws0l6na0BRdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv64r0QGCBNyAo9t/yMPu+5j6XmIB5ZvT+FsjS7drEyE/tMMNggY7C9SEA0CoZNTjbig9A dgQHAQ9pyLzPkdaAtvxaEPPqXOu8zESBg//NQ1oLejpB4Lelcu62/689pHJYwhFhTWxba5vI Bi4sA7cqtQYjYx+J6gr1xDHuGFIe+NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S 6dYDCk9PGAu+MLrrxjDQhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VjO/4 ad2Ux/okDkIOCIl8G/ZjcxwibhUoBOnpxdix4LZb4WYOP94c6jAf90VWHBBU95RWSJfH428c 4UBAekGM+lEoIfyqEADrQenBQmpGO/vyiNEimHw0KYn0+ohCwbG3Ak4EtwPqnTbttX1O70XU euozqfI0CnDb+9R2Tf79YPFdREvoeuWUrJwa8XRzFMjGQHYjlWMtYzlODWV2/8Ls2ic8+pgS eOvi2goqwFxuDevw90ghZPViY4P11DE9jx0zYAoLtK3VEB1e8SrEIdMty6ELYt2RNsvTmN0t Ss117ELu5C1cicUxJkl2hPSZfKKfYiU7h/gSOqcLjl2iXBldr+/hRu+70itxOL+W8e601tHs ylIn9fCuH0Lyhfd5M+HSv5n8Ueg3zaCzxzT6uBCIUE0iKrbMZohzqQsmZoUtETOGDL9lkbuj KKOa0ko5Oul5/75brjpqJKQLYB5hw/kPqgzhMCyAvw0PhYPUmSH9+mx0aDv8VHjT7hLi/A6j LXVv4vfKMkVvKG1HwpY34M+5xu/CTqtzc4WkmMdLF1ffRKKl4jpNE/KIPD/Ffq/nlWsnypxy PDeJr3hB5rMImTDnbv7e7Z97FJcyBYyzdBZ6JJUCqsOIPfpVkDrqNPUFAI5Mw+sz+bmDtVyy J8eVHqSDqOHM67eq0GE6+0hLuWWa4IYtizxJ+U76/PtlXM5nEUSfait3ZsZcnC4GfFmLl2Yb 3r2mNgBEX0Fvg8kQOLolV2CTSJTZ3G0X68n4DE7D56mDZvCRoCrj7yB3D20HphMam9cFl+AC 2rod4acV/cKcy2dOtVhnSAcVbi9V48h0gmjuBLix7p9MuXU4jEYtY7k1NVt++LTkggy+SVoA MSZzmGCVHp5nngIRj8zxKBwu1ZxylaF0ahigvxXD8Zf5/1TUlRyCZmJheJnDfj5QUTHecuVD l+tBMilS3llQM8369QVJUB6B8nkhxuFwin8R/dfnqSTH5Ex2qbdxGTqYdp20DDH2qhni1w7B MdCfyXyj7Zn7AXWL4rIiFmC0bqhbuId0i+L8GKei2aD6gUQGhVoVb7tUXsEIETSpJLw7QXfT PXmXa8/NhBpxcWZbKROY5vghhNbR6GncJ7VZHv0kGOtDz6JwKmNZczkYS9ViC7aEQ0Plx0Z1 XeALwk3QCm79SaWRjVhGVvHZ0L37fI4o3OySko51RrMdEArn+689RIcrfidUO8ImLkEsSMkp i9vWk2wiZaeQdqJvAlseKEZatoz7X9H3Hnaugh5eJu6IOoq0l4XaAd6u0er3Bx5B61AmNMpo Xcuig1oJvTcmBlBfiib0JT0Er3eMWr/+BTpbLTZkBmK0N+N+aoL7Nw4ok7gsQWtUE04/CMjm 5NJwmOR/dDDCgwVTJT6X24z9gNmvPfBbyAmoZ7M2Htqd6S4r3WKj844HOY+jx+medBCNqiJP AvzCNEBQdOjIfdshkCkaBRCMexPov0aJcSjItSc0a6iOa5AgS66imIPtK9n20KF8mxcV/LU2 JAtxfaEwgqBWDf1iRGouYbqmtYXNnkpAmOjxH28V8ZqbapocNNXWA9GQuWyz9R63dv2XmJAs USkDBUA0dOofhybaxr82xdR3AIZuy/vgjO2mhpzlTxhta+DxGrW2e23WwAOOmdOAkl/kUvrJ 6CyiMwGXU6nbwEs0hKuo1v5lOBAvKoqF2DIWg9TejTuaWRrU6++rL2HNuFV4ZMhtGN3TfigZ layTLnhvxoc3CPqGi1Xz3YmdGLioY33yjp9jm/VN3NvtDzZdMV3kA/Y/8DZTOVN0yAuWSh0g CHPA0jkYp+v+smIlpHMsum7EWuqEIBQGcXy5aWHsibzpWhjABnl2uu2hsWiCw8xlynyy9htU yzM6hf6eIjikaqgY6pheQFzCVnw5tAfeMk2m5YshJwWxXkRh4mEtXsBn2DpNNxH2KX4JHMTT D8PytTR7UDrwkpmZn6Owov4UD2azK4DL5GVeGoW0yd7z91WFKCSxLpDgTd0pFW4pAeXaPM7g zRcgfoi5XgGgv0Y7RI3x3b4YPhaFk1ZMCrw0hWQuonk/OMNOD3pLeP2jRAuzrXDRPmYrwpRW Wj0YMInFC50tIBkNU7UlWf04cficcXRatQasluVlQ3Bhq5bMsFU9LJCiCx5NGb6pXBgxfQ8i Ekk8ouzvIGCbUVw4L6+BDZeMSHpZsUc+jjoy69V2NuVldPKfN0pCnAQUZ3kQOj9Wh0IvPTuM kCuDSEgrXGzH73DAQ6Z50dvqjTGGNa2NDvEQRtRhcUnTx6bKktFhQkSVzhvhZ81GDehw8n5e Vt47DQcjrLhgiNF0fkgdxz2U2OF4Rytdi9xUp+Uahxf8gBF4U7Rd82Y9ON6WS9CrNWtqwmEK 2rTYAotbylBdVaNB1nmeJmz+cXH9cCeAfaiLv3BYbyL7+VVEeqLjZ6iyYpp+T+QO97HZyMyS adngQwfBjYgQZSRki5qKWRfjy/Xas+HuBqwsjZ6qMyy6rWjWQ7i45eOF6oHNNxu/x6shqLQU ozYzC19KDteytYN3SqRkuhZhgJJzX01MWD3Qedl12aFVq/bl65JAgRObipyMJEN9KcgxkxXP sWdjNrp17l+h/pzClFfVFWnlNv6AK5Ca2y7Kl7DA16GcbqcIjieie7taKO1TPtwkflIsBuYv zGHD07lMTSKkn/gXFayMqsf6UPTdAwbo4y7fht3XCLMVtvmYxj9EMJrkTow6bszmm/LM2EcO D06ekgLs77avkY6yr1vXmdG6HRiN+yNnS2UuvLZJpghuvxuGi1oluhe7Sdy2/5P4SpDXvAwh DrKo4skvQS9iufWgGkCMlIGunNRiYmMp0knJajJ6swKRyPf5BxUpWCAQxUMrN94BtC9oLhej N3Glaa1Ny9H89XP4Y0aCtSxSorPMXwqNQflFWzPAREbQCSwc2TUnFIblvyOvnyTpZwnppW+n JcBR7lXS1UvG7URDQJ4H7lgaN92WDggjLKW3ssB5H77oQSXS8hRvZfJUeiXR/7oLX6Yi7JAe hcFk4TjNYpVO4nywFBjYVR/lYXOXUHXWLUv6mVgaAQwvUlAomNmQDVqnUTidh+s5nATHPvyl xVwlwg2d+0p8H2ED04fAF3MqWNwlUAwnY+gmjWNaHvrK6z2W4hKCi3yvkx3M5XhQg8zYxfg1 UpjfCzJQb5cld4CPShilRPctJ1TGPVdUbwMYRkewuuSbukp1lIUozuuxEtO7+/IQZV4kw5if ZmppnNGkwVtCbx9bbTXP7ZMx0NMi7imoy6k3/gpxR9GegAL93+OeSgHuEUNcLAtYTerv6Rt5 QGEhzpfaT0MWv4t8ZcIvgs2P+WNyT6l0qYWcxrhcbbDdOXF4C6Zz57bJzF4nlkFnERE47Vsh MIqck7OElsq0KPUDRMCc8zLNQBSacNWsnnVZyeH9+vXkvcXd82wEP7lSeiWueMamEWhSUwGB Y0M58FHPoSwzEbeBcHgMKIEzxot7QGtLV7DEfcDK3fp2H8X5tqyypN6x9wXPjYGHWB0Kjm6/ J7KpwMjmOKGTI9rJHEdQpcFMH02Ucj8kiUfoncKX1zVmqoJjQOF6TH7vCHZCjLxOsFiaPmjb hRpENiq+D87/sBeZnbR9YnCJmf1Nd1n/NbEr/4Z9c/v4xZ8S75hr0balIlRQjqjWCjSEoztT 3ARQ5QtYdXsEnOqCgH5jTUpU8b3M9akK+6Bikf1RtQM2LQ=
- Ironport-sdr: W0GZJkmkWWGawVYsiKzfVwNbD+/g0oh0knkmWaGtAQsWe92/q+ikejuwgprzqerEt3WYz47R/m d3aa1yxOnxCnCfuaYDdOzycEMqriC6CHMgpGEs94iuyH0nb53dAG4TuDOct6s1M2jBPqBruqir bbp21ZZ8r5WU/+3LyMvVWYy0mMQFXK0gucan+7ER8wMQUM3LBajHKztMipR6vpMFOwZZVvzYhT bxAyzkk+PJuCcAsK8DdKt1YSNeg/0IKte8A4Y0mH6T7A9pBT0wsbBfgRaFMsWT6YBwn2pyF0PQ Ji6+vgcS16GPURwrK25yzQNT
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 Professor level:
https://tinyurl.com/38f753d5
These positions are aimed at early career academics who recently
completed or will soon complete their PhD, and have a reduced
teaching responsibility for the first three years.
Applications in the area of the Functional Programming (FP) lab
are strongly encouraged! The FP lab is keen to receive applications
from candidates with a strong publication record (e.g. papers in
leading venues such as LICS, POPL, ICFP, JFP, TOPLAS, etc) and
the potential to secure external funding.
The group recently grew its profile in type theory with the
appointment of Nicolai Kraus and Ulrik Buchholtz. To complement
these appointments, we particularly welcome applications from
candidates who would bring further or other areas of expertise.
Further information about the FP lab is available from:
https://tinyurl.com/y2ekdkqa
The deadline for applications is Tuesday 24th May 2022.
-- 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 Professorships in Nottingham, Graham Hutton, 05/17/2022
Archive powered by MHonArc 2.6.19+.