Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Lectureship positions in Bath

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Lectureship positions in Bath


Chronological Thread 
  • From: Thomas Powell <trjp20 AT bath.ac.uk>
  • To: "coq-club AT inria.fr" <coq-club AT inria.fr>
  • Subject: [Coq-Club] Lectureship positions in Bath
  • Date: Wed, 2 Oct 2024 10:53:17 +0000
  • Accept-language: en-GB, en-US
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=bath.ac.uk; dmarc=pass action=none header.from=bath.ac.uk; dkim=pass header.d=bath.ac.uk; arc=none
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; 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=9VarESV6ZA9bpkqUXgJSMw0iINy9rHlnUPCyDz2+VbU=; b=u5JuvrWIbn6M2h1rSOPBuKsbg6e3LjXxVQxCtjYWXKGdPipoFjT2dJSLDASjZlgDkFUB30EzZUCFx3+JfltUadbi77GItT/fG5O9p6Mq3OPLHNX0Q1b80di0EwA0ixqaY08QheiOM5VNlZhQ98kdImlK22oqIon9ml5/f1iDoeQqEyay1gVzbQ2agsypubTNceEetePyeK06Jhl9A70C24dbLqjhwL2rpRdpiTZv8bz3vmu6LaT2qIYFGyOUJ+4KJabgAAYqD0kT9iR0jd7XYRIOvh7mMRdvcUUyCQbIC7v3cF7misjcvI8V2cdtBZIAPNH8p19JW7qZeDsOtX4PeQ==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=DujEwMPNuTch95zjTKXkNUPnizMbI9Q25pJry7OGmx7hfA+3UleSeA97k56DhBcpXnd8UkhRzcVW7aUJOR9wJdMLg5F8qKH6LlSV2sGiRkHnLD+Et+GSdy7jFzoYpfoZhgM9deBvYors8B4vCIZTBzy29/SjdQLpzexHb1VZ8zjW4TAub5AVM4BnNjMCioAH9E4dNgzJOmhOhLQdAb/LRSgP7f7kF/9bOchKeCdpUlL/mNvn02UFm3hZctauJFIROdsXb8J7wW0bxl/PZe74p0KUIV0Zb/G4WWlIue882GYzHPxP5CNh6b1z2x61OOGltROg99qg4b7vNKFO51iryg==
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=trjp20 AT bath.ac.uk; spf=Pass smtp.mailfrom=trjp20 AT bath.ac.uk; spf=Pass smtp.helo=postmaster AT GBR01-CWX-obe.outbound.protection.outlook.com
  • Ironport-data: A9a23:u9WAv6NAzKB5lH3vrR0rlsFynXyQoLVcMsEvi/4bfWQNrUpwgzMGy zFLXD3QOf7YMWH8f9pyYIy//BsG7JHQytVrG3M5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/vgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5OZYQbNNwJcaDpOt/vb8Ek35pwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGXHdETp/uozL3skZ4k6veovHG5t/ +whfWVlghCr34pawZqUYNM034EIE/muO4kS/HZ90TveEPAqB4jZRLnH7sNZ2zF2gd1SGfHZZ IwSbj8HgBboP0UJYw9ITstkxaH52hETcBUAwL6RjbYt4XCJlCR72aTtdtPePMGJLSlQth/I+ D6XpzyoXnn2MvSN6gHG6l+M2taSpirEB5gZCJq8qtpD1Qj7Kms7TUd+uUGAifK+kwu1X89VA 1cF/zIn66k07k2iCNfnNyBUu1aBtx8YHtFPA+Iw8lnUzayOu1fFQG8ZUjRGddoq8tcsQiAn3 UOImNWvAiFztLqSSjSW8bL8QS6OBBX55FQqPUcsJTbpKfG5yG2epkunogpLeEJ0sjH0Jd006 x+glnBnwp4svYsM3aj9+k3biTWxoJSPVhQy+gjcQmOi6EV+eZKhYIurr1Pc6J6s6a6HG0KZs iFsd9e2tYgz4VOlzURhg9nh2Jmj7uqFdjTXx0Nsd3Xk3yr44GatJOi8/xknTHqE8a84lfvBa kbPuUVY79lOPxNGqEOxj52ZU6wX8EQrKTgpuj04oDaDjliduTJrJB1TWHM=
  • Ironport-hdrordr: A9a23:s3dN/6qNLVpI8OwBWAL0oDQaV5u/L9V00zEX/kB9WHVpm5Oj+v xGzc5w6farsl0ssSkb6La90dq7MArhHP9OkP8s1NKZMDUO11HYSL2KgbGC/9SCIVy2ygc+79 YGT0EWMrSZYjZHZK3BkWqF+qMbsby6GdeT9IXjJhlWLT1CWuVF1UNUGwybGkp5SE1tHpwiDq eR4cJBun6JZWkXRt7TPAhPY8Hz4/nw0L72ax8PABAqrCOUiymz1bL8Gx+Emj8DTjJ0x6s4+2 StqX2y2kzjiYD39vbv7R6d031koqqu9jKFPr3MtiEhEEShtu9vXvUgZ1TNhkF3nAjl0idTrD CFmWZaAy000QKYQoj9m2qW5yD91j1r4yTooGXo/0fLsIj3Qik3BNFGgp8cehzF61A4tNU5y6 5T2XmF3qAneC8osR6NlOQgbSsa5HacsD4ni6oennZfWYwRZPtYqpEe5lpcFNMFEDjh4I4qHe FyBIWEjcwmBm+yfjTcpC1i0dasVnM8ElOPRVUDoNWc13xTkGpix0UVycQDljML9Y47SZND++ PYW54Y4I1mX4sTd+ZwFe0BScy4BijERg/NKnubJRD9GKQOKxv22u7KCXUOlZCXkbAzveQPcc 76IS5lXEYJCj7TNfE=
  • Ironport-phdr: A9a23:rlyIsRY+fjG9dtjIUFlmTdv/LTEo2IqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1wePB9yKoKgVw8Pt8IneGkU4oqy9+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7F skRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiTShbb9oM hm6sAHcusYIjYZmN6081gbHrnxUdutZwm9lOUidkxHg6Mmu4ZVt6T5Qu/Uv985BVaX1YaE1R qFGATolLm44+tTluQHMQgWT6HQcVH4WkgdTDAje8B76RJbxvTDkued7xSKXINf5TbEwWTSl8 qdrVBrlgzoJOjIl7G3ajNF7gaRGqxyjuhN/2ZbZboGLOvRjYqPTc9AUSnZOUctKTSNNHp+wY pETA+YdP+tVqZT2qVsUrRu5AAmhHP3hyj9Phn/zx6I6yPkqHxvB3A0uAd0OtHDUp8jyOacOS +C1zrHIwSvfY/5Nwjjy8pTIchA7rf6WQb18a9fRyUo2Gg7Dk16fppDrMSmP2eQRr2iU8fBgV eS3hmI5qw98rTmiyMkvh4TJho8bxE3J+Dh6zYs3KtO1VlB2bNq4HZZOtCyUN4h7TMM+T210p Ss3zqEKtIKncCUJ1pkqwQPUZfKAc4iN+B3jVeCRLC9ji31/ZLK/hwy+/lK8xeHmS8m001BHp TdGnNnUrn0A2ADf5tKaRvdh/EqtwyuD2x7O5u1eJU05mrLXJ4Agz7IsmJcetFnPEjPsl0j3i aKbd1ko9vSt5unpYLjqu5qROopphgz/NKklh9KyAeAlMggVQ2iU5/682qDi/Uz4XrpHluE6n 6/Eu57AP8sbvLS2AwpN34Yj9Rm/CzCm3cwZk3QaMFxJZA+Lg5H3Nl7OIf/0FPC/jE+ynztxw PDGI6HhDY7KLnjelrfuYKxx61ZGyAo00dBQ+Y5bCq0AIPL0XE/9rtvYDgIlMwywxObnD9Z92 pkCVmKIB6+VKKLSsVmW6eIzO+SBa5MZtCzgJ/Q55fPil2I1lUEAcaWz2ZYaZ2i0HvF8LEWYZ XrsjM0BEWAPvgcmUOzqkl+CUSZNa3quRK8z/Ss0CJ6mDYvZXI+inKaN3Dq4HpFOYGBJEUiDE W30eIWcR/cMdCWSL9d8njAcT7iuV5ch1Q2ytA/907doMu3U+jQBuZ3/0Nh1+vbcmAop9T10C sSdy3uCQ3t1nmMOXT823bpwrVZzyleZguBEhKkSHttKovhNTw0SNJjGzuU8Bcq4ElbKec7MQ 1K7SP2nByswR5Q/2YldTVx6HoCejhfG1jHiO7gKmriPTMgo6KDEhSDZLc9hyzDP3+88jA91E YN0KWS6i/snpEDoDInTnhDB/07LXaEV3SqXsXyG0XLLpkZTFgh5TaTCW3kbIErQt9XwoE3YH Pe1EbpyFAxHxIaZL7dSLMXzhABaXvX7Yoz2aWutmyG5DlCVxeDEd5LkLl0Uxz6VE00Yi0YW9 HeCOxI5A3K9uWDGVmRGH1vzYwXl+q9jqyDzVVc6mjmDdFYpzL+p4lgViPibHusUxa4BsTw9p i9cM3yHh4uTIOWw4g1rceNbfM8350pB2STBrQthM5e8LqdkwFkDbwBwuECo3BJyYmlZue4tq n5ijA97KKbClUhEayvdx5f7fLveNmj1+hmrLa/QwFDXltiMqO8J77wjplPvsRvMdAJq+mh70 9RTz3qX54nbRAsUX5XrV08r9h9877jEayg57onQ2DViK66x+jPF3tsoAqMixHPCN59DKqGcT lfaGcQGB46nI6o3mBnhbx4JOvxT6L9hJ9mvJLON3K+mOvolnSrz0TwBudgilBvWrmwtFr2tv d5N2fyT0wqZWi2piV6gtpqygoVYfXQIGWH5zyH4BYlXb6k0fIARCG7oLdfko7c2z5PrRXNc8 0auQl0c38r8MwaIbUSnhSVa3FgX53Ws3za7hW8R8Xlhvu+E0SrCzv63PgYdOHYRHEFohEvsZ 4G/yc0ZFhvgf00ikx2r4lz/zq5QqfFkLmXddkxPejD/M2BoVqbYWqOqW8dU89totCxWVL75e lWGUvvnpBBc1Sr/HmxYzTR9djewu5y/kQYowG6aKX9yqjLed6QSjV/D/t7EH6Z51DMaRG9xg n/KBRCwMsKo8tOdi5rY+rzmETv5CdsKK3CtnN/IvTDz/WBwBByjg/2//7+vWRM31yP2zZgiV CnFqgr9fpi+0q27Nex9eUw7TFT46sd8BsR/it5s3NdJgSdc38/MuytbwgKReZ1B1KnzbWQAX 2sOyt/Ruk3+3VF7a2iOzMT/X2mcxc1oY5+7ZHkX02Qz9ZMvau/c4bpakC9yulf9oxjWZK03g i0f0aF2wHQTn+FPsQFr0ybXUdVwVQFIeDfhkRiF9YX0sL9VfDz3WbK5yEo4lNvnEbLI8UlMH X3+fJklByp56M5yZUnN3HPE4YbhYNDMbNgXu07x8V+In61PJZk2jPZPmTt/NDe3oyg+0+Bix 08mzdSgsYOAMWko4K+pHksSKGjuf81Kn1OlxadGwpTKh8b+RNM5XG1MBcagTOr0Qm5K862/a EDWVmV78ynTGKKDT1LFrh4+9zSXVcjsbizyRjFRzM0+FkTHYhUH2kZMGm19x8BxFxj2lpG7N h4hvXZJoAa/80QEy/o0ZUCnDiGD+0HwLG9zEcf6TlIe7xkctR3caZXMt7sqTS8EpsXz/kvRe iSaf1oaV2hRAx7dXgmxMOX2vouStLTJY4j2Z/rWP+fUoLQHBa7RnMChjtM9rWbUbp3dbD4/V rU6whQRB3khQpaAwmxdRXBPzHDGN5bD9kX7p3QSzIj38ey1CljmvdLdUuILY9szo0vkj//bb 7zCw3sjYXNR0pdGrZPR4IAWx0VayyRndj33VK8FqTaIVqXb3KleEx8cbSp3cspO9aM1mAdXa 4bXjdb817gwifBQaR8NTVv6hsSgftAHOUmSHmmfXQOgC4TDIjfGhcbqfam7VLtcyv1OsAG9s iqaFEmlOSmfkz7uVFakNuQp7mnTMBFFuY67ewpgEiC/FJS/MkL9aYUuy2xqibQvzmvHL2sdL SRxfwtWo7uc4DkZyvRzFmpd72Z0eOmJnyHKiouQYp0SsPZtHmF1j7cGuDJjk+QTtXsdAq0py 06w5pZ0rlqrk/eC0G9iWRtK8HNQgZ6T+F9lMuPf/4VBXnDN+FQM63+RAlIEvYgAaJWntqZOx 9zIjK+2Ji1F9oee4dEeH5KMAMiOLHpnOBGvBT2eX25nBXa7cHrSgUBQiqTY7nqOsp0zsYThg rIhYIUDDRkeKcNfDU5oWtsfPJ1wQzUo16aBi9IF7ma/qx+XQ9hGupfAVbSZBvCle1P7xfFUI hAPx73/N4EaMIb2jldjZldNl4PPA0PMXNpJr34pfkourU5K6nQ7Unwr1hevdFa2+HFKX63R/ FZ+mk5kbO8q7jup/1onOg+Aun4riEdo0dT93WLNKHigduHoG9kRUne8tlBtYM+jBV8tMkvq2 xQjbWmhJfoZjqM8Jz0xzlaE4d0XX6YbFPAMYQdMl6zNIaxwixIE7H3gnBEP5POZW8Y40lJyK tj06SoHgl0GDpZ9JLSMdvMRkh4M2eTW+Hfvj795wRdAdRwEqDrAIXdR6kJUbuF0dW30rokOo USDg2URImFUDqhz+6s4+B9lYLbSiH6xm79bdBLrPrTGffrA4jrOyZbTEANojhtaxQ4YpN0Um Y8iaxTGDUl3lenITk1bO5aaclNeN5IKpiqUIH/GsP2Tk8h8Z9zvT7mxH+HS7P1GjBr8RFR7W NlWpoEIGp3muKk5BejNFuZcjD4S1EHsLljDC+lVchWWljtBu9u40JJ8wYhaIHcaHHl5NiK0o L3Qo11z6BJmdN0/fndcV4BCK3FkAKVSdAZTtmhASjC8lP8amlHq0g==
  • Ironport-sdr: 66fd2628_IomasSweHjNX/LmFbJvJJRuTzDJRhoukHHPo09Mn0TqR0cZ 1x4vygoPrN1p3aZcWB1mcJB3gKUdfDGG/YrSkDA==
  • Uob-a2b: true

The Department of Computer Science at the University of Bath has vacancies for academic appointments across its four main research groups:

 

https://www.bath.ac.uk/campaigns/join-the-department-of-computer-science/

 

This includes the Mathematical Foundations of Computation group, where we are particularly looking for individuals with research interests in areas around formal mathematics and computer assisted reasoning, including but not limited to:

 

- proof assistants (e.g. Agda, Coq, Isabelle, Lean)

- certified mathematical libraries

- logical systems, proof theory and type theory

- certified programming and program synthesis

- automated reasoning

- applications of AI and machine learning to formal mathematics

 

The official job announcement and online application form can be found here:

 

https://www.bath.ac.uk/jobs/Vacancy.aspx?ref=ED11636

 

*Important dates*

 

Application deadline: 15 October 2024

Interviews are planned to take place on the 25, 26, 27 November and 2 and 3 December 2024.

 

For any questions about the post or the recruitment process, please contact James Davenport (masjhd AT bath.ac.uk) or Thomas Powell (trjp20 AT bath.ac.uk).



  • [Coq-Club] Lectureship positions in Bath, Thomas Powell, 10/02/2024

Archive powered by MHonArc 2.6.19+.

Top of Page