Skip to Content.
Sympa Menu

coq-club - [Coq-Club] PhD positions at Nottingham

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD positions at Nottingham


Chronological Thread 
  • From: Thorsten Altenkirch <Thorsten.Altenkirch AT nottingham.ac.uk>
  • To: "agda AT lists.chalmers.se" <agda AT lists.chalmers.se>, "coq-club AT inria.fr" <coq-club AT inria.fr>, homotopy Type Theory <homotopytypetheory AT googlegroups.com>
  • Subject: [Coq-Club] PhD positions at Nottingham
  • Date: Tue, 3 Dec 2024 17:40:04 +0000
  • Accept-language: en-GB, en-US
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Thorsten.Altenkirch AT nottingham.ac.uk; spf=Pass smtp.mailfrom=Thorsten.Altenkirch AT nottingham.ac.uk; spf=None smtp.helo=postmaster AT smtp4.nottingham.ac.uk
  • Ironport-data: A9a23:H4wmnKkHBuNTRADt7Jziecjo5gwTIkRdPkR7XQ2eYbSJt1+Wr1Gzt xIfDzrXbq7ZYTbwKN4iaNi+9kwO7Zbcz4VkTQBpry80F1tH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82Ayazh8B56r8ks14K2o4GhA5DTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1SS1o3Iq4q2dpTCEdHy 9AXFilTfiKc0rfeLLKTEoGAh+w4KdXzYMUZvW18zDfWDf8jB5nIBbjJjTNa9G5q1oYUQa2YP ZBBL2QyBPjDS0Un1lM/NJI5hvy0i3+5WjlEpVSWpLA840DVyxBt0b7iMNPQPNWBA9hW9qqdj juepD+jU09KZLRzzxLU306h2uP+xBniG68OF5ejzNJWjUKckzl75Bo+DwLh8abj0SZSQel3I EsNvyEqsKIa712uVtC7XhuioXfCsAR0ZjZLO/Y/9BnRjKzT/xqYAGcERzsHYddgqcxeqSEWO kGho5TyBCNMgp6pbXu7/4m4og2rZzgnMjpXDcMbdjct797mqYA1qxvASNd/DaK45uEZ/xmsn lhmSwBj390uYd436kmtwbzQqx2GzqUloyYu4xnPAiSj6R9lZYiqZ4Wtr1HQq+tDRGp4crVjl Cdd8yR9xLlQZX1oqMBraLlUdF1Oz6rYWAAweXY1Q/EcG82FohZPh7x47jBkP1tOOc0ZYzLva 0K7kVoOv8QKYifxMvAmOt3Z5yEWIU7ISYmNuhf8M4ImX3SNXFTvENxGOxPNhD6FfLYEzftkY f93jvpA/V5AUP43k2DtLwvs+aMry2gjw2LNSIrgzgi2mb2QLHiSVasENlSOZ+VR0U93iFi9z jqrDOPTk083eLSnOkH/qNdPRXhUdiJTLc6t9KRqmhurflEO9JcJV6SJmetJlk0Mt/g9q9okC VngBhAHmQKl3iOvxMfjQikLVY4DlK1X9RoTVRHA937xs5T6Sdf/svUsZNEscKM59edu6/dxQ rNXM4+DG/lDAHCPsTgUcZC3/sQoeQWJlDC+GXOvQAE+WJp8GC3P2NvvJTX0+Ac0UyGYiMoZo p+b7D39f6YtfQpZIfztWKqd9G/p5Xk5s8BubnTMOehWKRnN8pA1Cinfjc0XAsArKDfezGCgj w+pXBERisfRh4ob8v3Pu7qlrpioIcR6DEF1D2nW1pfoFCj4r06I455Mb/aMRh/ZDFjLwaSFY f5E6c38PNksvkd4g6AlH5lFlasBtsbS/ZlExQFaLVD3RlWMCII4BEKZ3MNK55Z/9pUAtSSYA kuwq8RnY5OXM8bYEXkUFgovTsKH8do2wjDyz/AEEH/W1R9N3oiscBttZkGXqSlnMrFKHpsvw r4htO4o+gWPsEcWHejcvB9E1VanDyImaLomhKE4EYWwqwsMy3N+W7L+JBLywqmyb4RrDhF3D B6S3LHPlpZN9HrkKnATL0XA7cBZpJYJuS1J8mM8GkS0qoLFqMMajBx12hYrfztR1SRCgr5SO HA0FkhbJpeu3jZPhepRVVCWBCdqWQCToXapwmRUkmT2YVWMU0LPCGsDI8eM40Er3GZOdRdL/ Lyj6TjEUBS7WOrTzycNSUpehPi7duNI9yrGg9GBI8SJO7IYcAjVqPaiSkRQoiS2HP5rolPMo Ndb2dpZaIr5BHY2mLI6AYzL7oYgYkmIC0IaSM4w4Z5TO3/XfQyz/j28K0qRXMdpDN6S+G+aD /1eHO5+Zy6c5g2v8A9CXbUtJoVqlsEH/NABI7PnBVAXuoul8wZGjsjiyTjctkQKHfNVjscPG qHAfWmjE0uRp0dutU3jkc1mAle8MP44PFDS/ebt6+gYNYMxgMc1e2EI77aElXG0MgxmwhGqg D3+d5Lml9JF94A9sLbvQ4NiBhq1I+zdTO6n0h6+mPUQYMLtMfXhjRI0qF7mNQEHZbc+X8lFz 7SNuuWq3HLU4e8/QkHCupy7D6ISz96DbOlWFcPWLXdhgiqJXvH30SYD42yVLZ9okstXw8uaG zuDd8q7cOAKV+dnxHF6bzZUFzAfAf/VapjMiDycrfPWLDQgyi3Ccc2a8EH2YVFhdiMnP4P0D in2sa2M4vFatIF9Ow8WNcp5ApNXIE7RZoV+Toff7QKnN2iPhk+OnpDAlhB6sDHCNSSiIfbAu JnAQkDzSQS2tKT21+pmio1VvCAMLXNDkOI1L1M8+dl3tmiAN1Q4D98haLcINpIFtRbJ9sDIV GmYJi9qQyDwRi9NfhjA8czuFFXXTPAHPtDiYCcl5QWIYiOxH5mNG6Zl6jwm2XptZz//16uyH LnyIJEr0sSZmfmFhNr/58BXRc98w+/CmjQO/lzhksr9Ax8bR7wBkmFidOaIueorDOmV/Hgn5 0BsLYyHfK1/YUj2DdphfXFVERRftTip0jZAgeKn3oPEo4vCpAFf4KSXBgwwu4HvqOwMI6ISR HX4R2KIpWmdnGEQ0UfsVxTFnocsYc+28gOGwGMPiOHcc2xcKojqAi/aoRcycQ==
  • Ironport-hdrordr: A9a23:YdGhEqylkQMrpHeJJin/KrPxceskLtp133Aq2lEZdPUMSL3gqy ncpoVi6faUskduZJhOo6HmBEDtexPhHP1OkPgs1NWZLW/bUQKTRekIh+aPrFOAJ8SUzJ8+6U 4USdkbNDSGNykesS+V2njaL/8QhOOf+KTtouHCwx5WPHFXQrAl6x08BheQE0VwSgUDDZ0lFI CE7s4Coza7Y3wYYsmyG3FABoH41qL2vYOjZQRDCw8s6QGIgz/t4LnmEwKA1hNbVz9U278t/W XMjgS87KS+tPOwzAPaygbonuhrscqkzsEGCN2Hi8ATJDmpggG0ZJ55U7nHpzwxqPHH0idWrD ANmWZbA+1jr3fKOnq4qRHx2w/myl8VmgTf9WM=
  • Ironport-phdr: A9a23:qOUhehHCMTKZAAgkkywl9p1Gf3xDhN3EVzX9CrIZgr5DOp6u447ld BSGo6k21RmXBs6EsLoE07OQ7/u4HzRYoN6oizMrTt9lb1w/tY0uhQsuAcqIWwXQDcXBSGgEJ vlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfQV6Kf7oFYHMks+5y/69+4HJYwVPmTGxfa5+I A+5oAjfq8Uam4pvJ6g+xhbLrHZDZuBayX91KV6JkBvx6Nu88IR//yhMvv4q6tJNX7j9c6kkQ rNUCygrPXoy6MP3qxfIUBGB5mEbUmUYkxpIBxbK4RTnVZrvsSX0q/Rw1jCCMcL5Ub47VzKi7 7x2SBDzkycIKyQ58GDMhcNuiq9QvQ+sqAZ+w47QZ4GVKeZ+c6bAdt4UWWZNQsBcXDFaD4iic 4UAEfYOPedAr4n8uVQOqwe+BRKxD+/r0zNEm2P60bE/3+knDArI3hEvH8gWvXrUstv7KbsSX +62wqbUwjrOdOlZ1Svh5IXSbhwtve+AULRtesTR00kvEAbFg02Op4zlODOVzP8Ns3SF4OpmS Omil2onqx1vrTipxccsi5PJiZ4VylvZ8ih33oY1JdqiSE5gfd6rDp1QuzuGOotyXsMtXWdou CU7yr0cpZG7fDMHyJIgxx7Dd/yHco6I4h3jVOmLJDd0nmhqd66lixav8kit0+vxXdS731hWt CRKiMXMtmwT2BzJ7MiKUvRw8Emv1DuNyQze9u9KLF4pmKfGNpMsw749m5Qcv0nfECH7l0v7g a2Xe0sk9OWk9/rrb7f7qpOBN4F5iwDzP6Yol8eiD+o4NQ0OUHKa+eS6zLDj+0r5QKlWjvEsi KbWrIrWJdkYpqO/HgRb0Z4j5g6iAzu409kUh2cLIV1LdR6dkYTlJU3CLOr5APq/m1igjjZmy +zIM7DkH5nBMmLMnbbkcLpg90JQ1g8+wc1F6J5ID7wMJez/VlP3udfFEBI5NxG0w/37CNpjz IMQRGOPA66HP67KrVOF4P8kLfOWa48Pojn9LuAo5/7wgn89nl8QZbKp3Z4LaHCgEflqOUOZY X3wgtcdEGcKuAU+TOzwh12HSzJcfWq9U7gh5jE4EI6mDIHDSZ6xgLGZwSu3AJ5banpYBl2DH 3rkbZuIV+kQZC6II8JskiQIVb27RI8g0RGuuhX6y71iLufM5CMYtZXj1MJu5+3Pix4y8yZ4A tiZ02GRUW50mGAIRz4s3K9joUxw0VGD0a9kg/xEFNxT4fxJUgcgOp7Z1eB1Ecz9VhjcfteKU FqmRM6pDikrTt0t298Of1p9G9K6gxzexyaqGaMal6SXBJwo9aLRx2T+J8Fky3rfyKYhi0QmT dBUOG29hq9/8hDTCJTTn0WYkaaqb6Uc0zTX+GeN12rd9H1fBUR5XqnMdXQefVfN69/570fHQ qW1T68qeEMVwMGOI4NOa8b1lhNNRP7nPdnEeCSqljH0TVyDwarJZ473cU0c2j/cAQ4KiUpbq X2BLE01Ajqri2PYFj1nU1z1NQek8e57r2+8Vl588xCSYgVd17ey4A9d0fybTvQP2aoVpDY5p il0EVGnzvrZDN2PowduZqJBech761BCgzH3rQt4a6CgKLp5mlMYOy1zo07o1BRtAYUIxfQqq 2kx0Ad0b4uczF5HdDKC1pDYPLrLNmj08xCmbujf0RfD04DFqe809P0kpgC770mSHU04/iAii oENu5P9zpDDDQ5JFIn0Tl5y7B9i4bfTfig64YrQk3xqK6i99DHYiJoyHOVw7BGmcp9ENb+cU hfoGpgmB8+0M/AnnR6Aag4JOuNT7qU0F8Wha+eH3qGrNeMmlTngkGcUqJtl3Be0/jFnAvXNw 45DxviZ2gWdUDKpsFemqNvrlIYCTDUOE2y8yDLvBKZXYbFufIAECW6rZcS8gMh91Nb2Q3AN0 lmlChsd3dOxPxqfa1uoxQpLyUEeumCqgwOjyiBsz3cvqbaD3SrBw+3nMhMMfHNILIV7pXHrJ 4X8z9UTXUzzKhMsiAPg/kHiga5SuKV4KWDXB0ZOZSn/aW94AOO2sfKZbshD5YlN020fWfmgY V2cVr/2ogcLmyLlEWxEwTkndjas8pznlh1+gWiZIT59tn3cMc13wB7e4pTbS5szlnI6RC5ik iXaAB6VO8Wk+9aVjZzDmua5S36gUJJTeCytxIjGqSj6rWxmDBujnuyiz8X9GFtfs2ez3N1rW CPU6RfkN9Cxh+LgbbkhJBMwQgGhuK8YUslkn4A9hY8dwy0fj5SRpj8clHvrdM5cweT4ZWYMQ jgCx5jU5hLk0QttNCHspcqxW3ODz89mf9T/bHkR33d308BNEryI4boCtC9pr1y7rBjaYdB7m SsByP0h6HcfxegC/hcuhHb4YPhaDQxDMCrgmg7dpey+q79MeGupN5G0yEd4ntG7B7GqpAZAR Hf/dZcrGGl55YNiMxiftR+7opGhc97WY9UJsxSSmBqVlOlZJqU6kf8SjDZmM2bw1ZE849Yyl gcmnZSzvYzcbn5o4Lr8GRlAcDv8e8IU/Djpy6dYhMefmY61TN1tHTACXZ2gSvzNcnpaifTgL R2SHTt6g3OHFLzcHBWU6G9gqG7TEpakN3iSYnASi8hhDBWQP01QhgkIUS5f/NZxT1r6gpa9K wEjvGhXuAOwowAE0u9yMhjjTmrT7BylbDs5UtnXLRZb6B1D+1aANMWf6uxpGCQLm//p5AeJK 2Gde0FJFTRQABzCXQy4eOP0vZ+errv9ZKL2NfbFbLSQpPYLUv6JwcnqyY5653OXMd3JOHB+D vo9004FXHZjGs2flS9cLk5f3y/LccOfow+xvyNtqcXqusjrXxj0+YaJTZJWLdhp+BGsiqerM emMmCd/JjZR09UFzjnVy/JMuTxawzErbDSrHbka4GTxTKXKgbNaCVgybz9+MshJ9ak89g9KJ dLajNz137s+h/VzFlQPBjmD0om5IMcNJW+6LlbOAk2GYa+HKTP8yMbyeaqgSLdUgbYcp1iqt D2cCUOmIiWbmmyjSUW0Ke8VxnL+XlQWqMSnfx1qE2SmUN/2dkjxLopslTNvibAkh2jWLjxRI jlpNXRWtrPW6yREnvR5FGxI6zxsJq+ZmEP7p6HZLJ0SrPdmUBNvj+wc5nMm17pT4yFNQfV+h SiUsMNjp1ChiuzJwT1iNXgG4jdNj4aWsUgwPKzY8txNRDDL8RkO6muXERFMrNxgQtz35/IJk IiJzv6obm0Yq5SKoK5+T4DVMJ7VaSBxd0C1Q3iIUE1YEHaqLT2N2hUbzLfCrjvN6cJl4pn0x MhXG+MdCwdzRrVFTR8/eb5KaJZvAmF4yfjC1JFOvTzm60CPDMRC4sKaDLTLWa2pcHDByuAYL xoQneGhddhVatK9gwo6LQAl+eaCU0vIAYIU83wnN15y+AMVtyInBmwrhxC8NFnrsC9VSbjs2 URtwgp4auAw+Dq+6lI+NF3MvyYr1kI2nLCHyXiQdjX1Mau9D5pOBWzmsEg2dJ7mCwdzZgmvk UE2AyzcSeoJ1+M4LTgtjgjApZpJFv5VSOtNa1kNxpT1L70p119Ytymql1Rf663dE5x+mQA2c Jmq6XVdxwZka91zLqvVbLxAylwa7k6Xlgmv0O15gAoXJkJWtXiXZDZNo0sQcL8vOyuv+OVor w2EgTpKPmYWBbIspbpx+0UxNv7lrWqo2qNfKk23K+2ULr+I82nGm8mSR1os10QO30Bb9Lly2 M0nfgKaTUcqhLeWEh0IM4LFJ2Q3J4JK82PPeC+VrejX6YlwI53hUObvUfOPsqkUi0fiFQ1vA odNpsUNE5+w0V3JeMfqKLlWrHdlrA/vJViDELFIYEfSymdB+Z3kisUthc8De2J4Yy01Kyi86 7fJqxV/hfOCWIxzeXIGRs4fMWpwXsSmmilftnAGDT+t0+tfxhLRil207inWEjT4aMJuIfmOY hY5Qu22/i8k76Wwz3fT7pjYJGDgPtRKvNjT9eIcqJaODrVdRv9gsA2P/usQD2zvSGPJHdOvc tLobJIwaNXvFnugeke6lyppCcH2IMqsKKeIiASuTI0SrYrRj1VBfYetUzoZHRl3veQK4qlxM BYCb5QMahntrw0iNqa7LW9wN/2oRHqxKD1ZT/Bai+yxIaFUnXJEhgCSznw8UpA8wOm+9AgET 9cXjUOHrR5CT5JbTTCvXHpaZxnOoyU5nm0nP+103+RtmHv1
  • Ironport-sdr: 674f4278_ZV3QLKckvFoVl6hjH13UV4vw6kSMumRCH8qYI2nn7dBxtEE 7xKiWyfWTfPoudVFuDD8keMZZXV+KhL/39m/PjQ==

We have several PhD positions at Nottingham which includes the FP lab specializing in functional programming, type theory, category theory and formal proof.

 

If you are interested please contact me. If you know somebody who may be interested, please spread the word.

 

See the webpage for an overview over the team:

   https://people.cs.nott.ac.uk/pszgmh/10-phds.html

 

Cheers,

Thorsten

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] PhD positions at Nottingham, Thorsten Altenkirch, 12/03/2024

Archive powered by MHonArc 2.6.19+.

Top of Page