coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Postdoc position (7 months) on type theory, working remotely is possible

From: Benedikt Ahrens <benedikt.ahrens AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] Postdoc position (7 months) on type theory, working remotely is possible
Date: Mon, 17 May 2021 15:44:42 -0400
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=benedikt.ahrens AT gmail.com; spf=Pass smtp.mailfrom=benedikt.ahrens AT gmail.com; spf=None smtp.helo=postmaster AT mail-qk1-f181.google.com
Ironport-hdrordr: A9a23:fYMl7aGEmkL2gBMjpLqE/ceALOsnbusQ8zAXPo5KKSC9E/b0qynAppomPHPP4wr5HUtApTn/AsO9qALnmaKdiLN5VYtKHjOW2ldAR7sM0WKN+UyCJ8SHzJ856Ztd
Ironport-phdr: A9a23:Ng+m1RWwC++GGa6qA1rwHqbpa5PV8Kx0VTF92vMcY1JmTK2v8tzYMVDF4r011RmVBNSdsawZwLOP7+jJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglVgDexe61+IRS2oAneq8UanIRvIbstxxXUpXdFZ/5Yzn5yK1KJmBb86Maw/Jp9/ClVpvks6c1OX7jkcqohVbBXAygoPG4z5M3wqBnMVhCP6WcGUmUXiRVHHQ7I5wznU5jrsyv6su192DSGPcDzULs5Vyiu47ttRRT1jioMKjw3/3zNisFojKxVvQyvqR9xzYHab46aKPVwc7jBfd4YX2dNQtpdWiJDD466coABD/ABPeFdr4TlulYBsx2+ChexC+PuyT9ImmL90LE60+Q7Dw7G2hcgFM8JvXvPstr1MrkdXv20zKnL0TXPdelZ2Tfn6IfWdBAhuuqBXb11ccXLyEkvExnJgUmXqYzgJj6Y0PkGvGeH4eR6T+2vl3InpB9rojip3sohiIrEi58Wx13F6Sl13oY7KN+3RkN1b9OpE5ReuiKVOoZ5TM4vTW5mtiY+x7EbpZO3YCgExpo6yhPcZfKKfYaF7xT+X+ifJjd4gWhqeLO5hxuq/0mv0On8Vs2q31ZMtSVKjMPMtn8X2xzU8MiHReNx/lu71jaLyQ/T7ftIIUYqmqrHLZMq370+loILvEjdAiP7nF/6gayWe0k+5OSk9frrbq/7qpKfKoN4kgPzPrk0lsCiAOk1MRICU3WU9OmzzrHu8kP0TbNXhfMsiKbZqorVJcEDq665HQBV1oEj5g66Dzi80dQYmWALLEtGeB6aloTpNUzCLfPlAfuljFSslzBrx//CPrL/GJnCMn/DkLL5cbZ87U5T1hYzwMhB655IDrwNOvH+V0/ruNDGEBM1LRa4z/vkBdlgzo8eXHiAAq6dMKPcq1+I4ecvLvGXa4ALvjbyNeUq5//tjX8lg1MSZ6mp3YEJZ3C+BfRrOEqZYX/2jdcAFWcGpBYxTOvviFGaSz5ce26yX74g5jE8EI+pEYDDRpm0jLOd2Ce7A4ZZa3tdClGMFHfob5+LV+0NaCKUOM9hkyYLWaKvS487hlmSs1rxzKMiJe7J8AUZs4ji3Z57/b79jxY3oBZ5CcmR0mKRB0h0hG4OXHdi1q15rEB8yUvF2KhijvpDPdNW7vJNFAw9MMiPnKRBF9nuV1eZLZ+yQ1G8T4D+adnQZtc4wttLekUkXtv73kmF0C2tDLsY0beMAc5smkoz93f0Lsd5jX3B0ft457HDasRKPGyiwKV48lqLb7M=

Dear All,

I am advertising a short (7 months) postdoc position with me. The job is
physically located in Birmingham, UK, but can be done remotely.

The starting date is flexible, but the end date is fixed at 28 February
2022 (which is the end of the project that funds this position).

Background: the current post holder, Jacopo Emmenegger, is moving on to
a prestigious fellowship [1].

The official advertisement and application form are located at [2]. For
any questions, please contact me at b.ahrens AT cs.bham.ac.uk .

Best,
Benedikt

[1] https://kaw.wallenberg.org/en/jacopo-emmenegger
[2]
https://bham.taleo.net/careersection/external/jobdetail.ftl?job=210000PQ

[Coq-Club] Postdoc position (7 months) on type theory, working remotely is possible, Benedikt Ahrens, 05/17/2021