Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Postdoc positions in Ljubljana, Slovenia

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Postdoc positions in Ljubljana, Slovenia


Chronological Thread 
  • From: "Bauer, Andrej" <andrej.bauer AT fmf.uni-lj.si>
  • To: Homotopy Type Theory <HomotopyTypeTheory+msgappr AT googlegroups.com>, "eutypes AT cs.ru.nl" <eutypes AT cs.ru.nl>, "coq-club AT inria.fr" <coq-club AT inria.fr>, "types-announce AT lists.seas.upenn.edu" <types-announce AT lists.seas.upenn.edu>, "agda AT lists.chalmers.se" <agda AT lists.chalmers.se>
  • Cc: Todorovski, Ljupčo <ljupco.todorovski AT fmf.uni-lj.si>
  • Subject: [Coq-Club] Postdoc positions in Ljubljana, Slovenia
  • Date: Mon, 16 Dec 2024 15:31:11 +0000
  • Accept-language: en-US
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=fmf.uni-lj.si; dmarc=pass action=none header.from=fmf.uni-lj.si; dkim=pass header.d=fmf.uni-lj.si; 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=aE/I7t5QPRLk1dAmcJmRwglytOV3czWz9hHjYi3Bkuc=; b=yxNuANvJ2mro1a1hD2ar9n/VJ+ejUdy6vZ5nsWCZl2oGESeDiPU24uYN7mDOrILeOOWpUZ7TdZ8BzmcplD12gUzLwkHpfgr/nm9BQLJxJBBnaQDjy2+I8ObsdvR9qh2g48lUvz2LTZeJzmsS/1sOLaWZLI6vzkwbaRT02uZDpfern7BJc+KNYZIAzg+cdhQrU2B8njx5ySICt4Vq2zg50WNkcVwtbKofb4zTcfOf9i0toZIlT8REbDsDlARuXMq6ErNOnKCJxnk5/uOFquSd+rtyPbzdj9vc5yDe2TvRsWc93333XkPvNViZ/KKw1op97tKTSv3Xxq2ESvRQHYamtQ==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=soTspRNQlbkE/bxzDH8zcnzcZEWOezgOcmLoVHgoY0zcFGKUsJ3Ndpfn/BhmR8j7++n42FbZ9bzNf450GHLyRr9oWFUHCpoosRX4c2r4NzwU2H8DAv4Yp5AzLheFC8Jpd03fZP8DTJgeXzeWtCZJfwkm65bxoWiJT1al/RfJRPn6OGJ37s7F4cJK4XMbpTDWnuhGPhv3pUML0rC5/osfoiEZ93nlxKyJmeqBrFN9r7KqRieo2x8v2AQihxkggkYXYgkVyDj91FVBrG56hVPMeKurxX+1qmU/4I9xhoZzL243KhT+AmmQyxdlP2LrxGd9opdWUoF89nUuLOqu7o9Juw==
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=andrej.bauer AT fmf.uni-lj.si; spf=Pass smtp.mailfrom=andrej.bauer AT fmf.uni-lj.si; spf=Pass smtp.helo=postmaster AT EUR05-AM6-obe.outbound.protection.outlook.com
  • Ironport-data: A9a23:mA/WFqPrRj5bH1fvrR28nMFynXyQoLVcMsEvi/4bfWQNrUorhjcAn WoYCDuBOqrfMDfwL91ybd+09UoDv8Pcx9E1SnM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/vgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5OZYQXNNwJcaDpOt/vZ8U035ZwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGX/LiHA2floBn0yZ5YJ999eP0Zt5 dohfWVlghCr34pawZqWd9M024EKCZeuO4kS/HZ90TveEPAqB4jZRLnH7sNZ2zF2gd1SGfHZZ IwSbj8HgBboP0UJYw9ITshk2r7w2xETcBUAwL6RjaMx73Lezkp72aXgKvLbf9LMWMNU20Ka4 HnHl4j8KkhCaIDBlWrZqBpAgMfqhQT/SMUpBIG62c803niT32cdMBoJAA7TTf6R0RXkB403x 1Yv0iEptO058FGhZsLsWgWx5n+CpB8VHdRKe9DW8ymIw6vQpg+cWGUZVGYcb9p87ZdrAzs3y lWOgtXlQyR1t6GYQm6c8bHSqi6uPS8SLikJYipsoRY5D8fLmdxpogjDSNxfFPSun9DMMA/X4 CCslX1r71kMtvIj26K+9FHBpjujoJnVUwI4jjk7uEr1sGuVg6b1NuSVBUjn0BpWEGqOZn+l1 EXoduCb5eEKSJiIyiGQWr1QG7fzvq7YdjrBnVRoAp8tsSy3/GKudpxR5zc4I1p1NsEDenniZ 0q7VeJtCH17bCfCgUxfOtjZ5yEWIU7ISI6Nuhf8M4UmX3SJXFXblByCnGbJt4wXrGAikLskJ bCQetu2AHARBMxPlWXtG71NjuN6mnpimgs/oKwXKTz3j9Jyg1bFGN843KemMLFjtMtoXS2Jr YkCb5fUl32zrsWiOnWIrtZ7wa82wYgTXsus95M/mh+rJwttAmY6DPHNibgmYZQNokimvragw 51JYWcBkACXrSSfeW2iMyk/AJuxB8oXhSxgZkQEYw34s0XPlK72ss/zgbNuIuF/rISODJdcE 5E4Ril3Kq4eE2+fp2VDMPEQbuVKLXyWuO5HBAL9CBBXQnKqb1WhFgbMJ1O0rHs9HWCsuNEgo rat8AreTNBRD05hFcvaIrbnhV+4oXFXyqo4UlrqM+tjXhzm0LFrDCjt0d4xAcUHcivYyhWgi g25PBY/pMv2mbETzuXnv66+ktqWI7NMJXYCR2j/xpSqBBbe5VumkNNhUv7XXDXzV1HU2aSFZ MdQxc7NLfE4wU5ujJplN7BN1YM/+NrdiLtIxSt0HHjwTgqKC5ExBlKkzMVwpql26bsBgjSPW 2WL4ch8BbWFHOjHAWwhDlMpQcrb3M5FhwSIy+o+JXvLwRNe/Z2FYB10BAaNgikMF4lFGtop7 sl5sfFH9jHlrAQhN+uHqSVm926sCHgkeId/v7E4BL7bsCYa+mtgU7f9VBCvuIqubu9SOHYEO jWX3arOp4pNz3r4LkYcKyL/4vp/t78v5jZx014wF3aYkIHkh9g2/iFr3xYZcwB39ihDgsVPY jVFFkstPqif3SZatO4aVUCWJgxxLhm4+Evw9lg3qFPkX3SYDmzjEEBtOMKm3lwozGZHTz0Ko JCa0DnEVBjpTuHQ3wwze2Bbld38a+co3DH+qdytReaBO5xrODbKoLGiWjcLjx3NEMlqvkn2/ tNy9rwsdKegC3YajPwlApjH175KEBGgD05BSMFH46kmMzz9ejaz+D7WMGG3WJpHCMLr+H+CK f5FB5xwRTXn8w2RvBU3OLUpIbBmuNIYv/85ZaLNN2oKl5C9vwhZmsvc2QamjVB6Xug0t9g2L 73gUg6rE0uSoCBxsHDMpswVAViIS4AISyOk1d/k7dhTMYwItdxtVkQA0rGUmXGxGyk/9jK2u DLzXYPn/9ZA+69NwbS1Sr5iAj+qI+zdTO6LqQC/k+pfZOP1bPvhiVknlUnFDS93Y50qRNVFp ZacuoXW3WTEnooMfUL3pp2jL5RNtOKOBLd5E8SvN3RLvzqwaOm16Ts5xm2IA5hoktRc28qZe zWFePaALd44ZtMM60BWOg5/EgkcAZvZdq3Phz2whNXSBwk/0T7oFsKG93joX2QCcwsOBYD3M Vbvsvfz9NljjZ9tASUcDKpMGK5II17EWIoneebutDKeMHKav1Oatpbmljsi8TvuCETYIP3l4 JnAeAfyRC6ytI7M0ttdlY545T8TM1pQnsgyeRg71+NtqjXnElMDE/sRAa8GBr5QjCb28pPyP xPJTWk6DBTCTSZ2Sgr97PvjTzWgKLQ3YPmhHQMQ/mSQdyuSL6GDCuE49i5fvlFHSgG6x+Sjc dwj6nn8Oyaq+a5QRMER2+eahNl2zfaL11MK/kHAy/bJOSg8OolT9nJdH1tqbxflQvH9zBCBY SB/QG1fW0i0RHLgCcsqKTYfBBgduyip1DkyKzuGxNHEoYiA0elc07vFNvru1qEYJtE/TFLUq agbm0PWi4xX5pAShUftk/8Uu/cpTNuuQI29JqKlQhAOlaat7GhhJ9kFgScEUMAl/khYDk/Zk T6vpXM5ASxp7WhPjaaOx1xhF41ZCxox4/Ph1WYTZgMqVTQ3ytafZh6riQb5b4rxw0Qml1sNW y8cNS59vHXP3AYJZlBCWjAzqFmJR9wXFDzAUGYzT/seV/tqpHB1TNhc7q3x6z6dHLCoCGmZm GZ9HujRIL6aYx4=
  • Ironport-hdrordr: A9a23:0uVHla5UVel2k1W58APXwMzXdLJyesId70hD6qkRc20xTiX2ra GTdZgguiMczQxhOk3I+urwW5VoI0mzyXcd2+B4VotKHjOLhILBFvAH0WKI+Vfd8kPFm9K1mZ 0BT0AoY+eAa2SS2vyKhzWFLw==
  • Ironport-phdr: A9a23:zCi+6hQ2bHI6RbCUa35QfRE/ONpsotiRAWYlg6HPa5pwe6iut67vI FbYra00ygOSBMOKsLkb1qKW6/mmBTdYp87Z8TgrS99laVwssYYso0QYGsmLCEn2frbBThcRO 4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVImbuv6FZTPgMupyuu854PcYxlShDq6fLh+M Ai6oR/eu8QYnIduMKI8xxXGrnZKe+ld2GdkKU6Okxrm6cq98oJv/z5Mt/498sJLTLn3cbk/Q bFEAzsqNHw46tfsuRffUwWE+2ESUn8RkhpGAgjF6A/1U5LsuSbkteRzxTeXM9TuQb87RTqt4 aFrSAT1iCgcLD427HvXis1rg61Fph+qugFyzJTVYIGRM/p+Y7/dcNYHTmdPQspdSypMCZ66Y oASDeQOIPxYopH9qVUQsxawGBWsCu3sxDFPmnD40qI13v89EQ7d2QwsA9IOvGjWodjzKawcU fq1zK7NzTjbYf9bxC3y6JXWfRA7uf2HQK59cczMxkk1CQzFjFucopHiMjyP0OQCrnKb4PRiV e61kGEosRxxrSa1xso3hInJg4wVxkrZ9SV/wYY5PNm4SExhbd6/EZtdrieXPJZ5Tc0+WW9no jo6yqEYtp6heigH0JUqyh/QZvGbboSE/hPuWPiQLDtlhH9oeLGyihK8/0WuxODxVse63UhWo iRLj9TBt3QA2RLQ58aJS/Zw4lut1SiJ2gvO5O9EJkU0mrDaK54n2rMwi5wTsUXaEi/ymkX6l rSWdkQi9+O16Orneq3rq5CAO4Nulw3yLqYjltahDegmKAQCQnSX9OSk2LH9/ED1XLtHg/grn qXFqp/XJMEWqrO5DgNJ14su6guzAjKj3dgFg3UKKk9OdQyDj4j0IFHOPO73De2ijVStkTZk2 ejLMqHnD57QNHbMiq3hcqx460NEyAo809Rf55VMB78OLv39RlP9udzBAhIlNAK5wv/rCNJm2 YwAQ26PBbKZML/Jvl+P++IvJfSDaJUNuDbnLPgl++DhgmMlmV8ceqmp24EbaHelHvR6J0WZZ n3sgtQbHWgWuQo+SfTmiFyEUTFNe3a/R60x6i0hBI67EYvORJqhjKKf0CuhA5FaemBLBkiJE XjydoWEX/kMaDiVIs9kijELT76hRJI71R6wtg/20aFoIfDJ+iIGr5Luz9Z15+jdlR0o6Dx0C cWd33iJT2F2hG8IXD420Lh5oUNm0liDy7R3g+REFdxP4PNESho2OYbGz+NmE9DyRh7BftCRR Vm6RdWmGCg9Qc41w98TeElwAM6ijxDG3yqyGbAZjb2LBJou8qLdxXf9Pch9y2yVnJUm2nkhR 8xTMnW3zpJu7wWbO47ElF+I3/KKcqEbwCnV5VuS1WeyvExfSh8zVL7KVGgHfGPZqtP24k7NV bizEa9hOQxEn4rKYKZXdszxgE5uT+ylIsmYZWb70zO9GAqZ3r6XRIHxPX8AmiPZXgxM2QsU5 DONMRU0LianuWPXSjJ0Xxq7aET1tOJ6tXmTT0kuzgjMYVc3k/L/5g8NiOfZQvUV2a8CsyoJr zRvAE37xN/fEJydvwdneuNRbc53qANbxHrUrEl0OJqnMqZpi3Yach9rpAX12hxsTJhYnM4s6 n4m0Vw2YeiR319IXzeZxozrfLbXI2338Qq0LbXbkBmK2dma848L6e8ksBPovAitE0c46DN83 o8G/WGb48CAJgMPXIi1Gm8x+wJ3pfuSNiA765nZ1ztmOLS5qBfM3txvGe0kjxKiOcxeZvDXX DTuGtEXUpD9YNchnEKkO0ps1IF68ac1O5jjbP6awOuwO/4mmju6jGNB6YQ700SW9iM6RPSbl 40dzaS+2Q2KHyz5kE/nqtr+zIlCaSsfHCy1wDXpHqZfY6M0YIAKTGOsZda2lZ1ln5C4Y3dD7 xa4Ak8ensqgeB6cdVv4iARW2V4aozqtkDa11RR6lj9vs6yemSjMhf/jJ1IcImAefGB5lh/3J JSsydAXWE/9dw8yiB6s/lr33YB2mZ4nciz6ZBkNeCL7aWZ/TqG3q7yOJdZV748lujlWV+L6Z k2GTrn6oF0R1CaL83J24jc9ennqv5z4m0c/k2eBNDNoq2Kff8hsxBDZ7diaRPhL3zNASjMqw T/QTkOxOdWk57D239/Kr/y+WmS9V5ZSbTijzIWOszG+7HFrBhv3lu66m9nuGww3mSHh0NwiW SLNpRf6Ko7lssbyeethclNlBhn24td3AKlwl4V2mZcRnHwYwI6UvDIGnWr1LdRHyPfmdnNeI FxDi9XR4QXjxAhiNifVn8SgDirbmJEnPoHnMQZ0kmon4stHCbmZ9ulBlCpx+R+jqB7JJON6h nEbwOcv73gTh6cIvhAsx2OTGON3fwEQMCrymhCP9937or9QYTPleL68zkd829qoEbyYig9ZV jDkfJZnGS029cQ1YzeumDXjr5rpftXdd4dZvxuYiRrCyeJcNZ8rvvQPi2x6P2O4uX9j0O9x3 nkMldmq+YOALWtq5qewBBVVYyb0a80k8Tbola9Cn8yS0uhDB71ZEy4QFNvtRPOsS3cJsOj/c h2JCHs6o2uaHrzWGUme7l1npjTBCcLjO3aSLXgfhdJsIXvVbEVZjBoZXnMwl4M0DCikwcKnb UF4ozQToEX54hdB0eNnMRDjX3yX+F/uM29rDsLFakMOs0lL/CK3eYSG4/h2Hj1E85HptwGLJ mGBJkxJAWwPRk2YFgXmN7iq68PH9rvQDe6/Iv3SJLSW/LAGEa7QmtT1iM0/p2vfU6fHdmNvB PA6xEdZCHVwGsCC3i4KVzRSjCXVKciSuBa7/CRz6MG56vXiHgz1tu7tQ/NfN8ti/xeujOKNL emV0WxwLzpC25FKz3bVxaI30lsczTxodnypE/IbtGSeKcCY0r8SFBMdZy5pYYFB6a4m0wsLM 8fGh8nd2Lt2yOMzChJBVxr6m4v6AK5Ca3H4P1TBCkGRMb2ALjCe2MD7b5S3TrhIhflVvRm96 n6LVlXuNTOZm3z1RgiiZKtS2TqDMkUU6+TfOl59THLuR9X8ZlinPc9r2HcolKYsiCqCNHZAY 2QkNRIX6OXWtWQB371+AzATsiIjdLHb3X7ft66BdPN0+bNqGngmyrgcuSxijeMTtGYdGbR0g HeA84Qo+gn81LHJkn0+DlJPsmoZ2djN5B05f/2frt4ZBhOmtFoM9TnCUkxW4Yc6TIWp4+cJl ZDOjPyhcj4aqoCNpJJOCZSMcJDVdyZxVHihUD/MUllfRGbyZziG3h5TzKnJpC/S8slyq4Cyy sAHEuYJDQVsRP1GUh83TIRaeMUlGW599NzTxM8QuyjkpUGIFpwD58LJCqrJU/63cG7L3/4ZP lMJ2e2qd41Lb9+ighUwZAUix9bEQxKID4IK/3cpKwYwpA8lHGFWdmQowAqlbwqs5CRWDvuoh lstjRM4Z+0x9TDq6lNxJ1zQpSJ2nlNj0dnihDmQdnb2IsLSFclODDHoskEqLp7haytIV1Xv2 GVBanLDTb8XiKZ8f2d2jgOaoYFIBfNXUaxDZlkX2O2TYPIrl19br0DFjQdL6PDEBp1riAYxO cL06SsYhEQ5NphsffGYLbEB1lVKg6OSoiKknvs8xgMTPQdF8W+ffjIJpF1dNrQiIHnNnKQk4 giDlj1fPWkUAqZy5KsyqQVnYaLZl3+zttwLYlq8POGeMa6D7m3JlMrTB0g1yltNjE5du75/z cYkdUOQEUEp1rqYURoTZq+gYUlYadRf8H/LcGOAq+LIlNh8OYmnG+KuR+aTubw8jEeqWhsvH sEI7IIaH9P/tSOQZdeiN7MDxRg3sU7zI06ZCf1SZB+RuBo6mZniibZSg8xaLDxbBnhhOyKq4 LqRvhUtnPeIQNYxZDEdQ5cAMXU1Hsa9nmQK2hYIRCny2eUfxg+Y6jb6rSmFFzjwYe1oY/KMb A9tAtW7qn0vtrK7glnN/tDCNnn3YJ5878TX57pQ9PPlQ7tECKNwuEDGl8xESmy2BiTRRMWtK cG4apFwP4CsTCfgFAT503VsEo/wJIr/cvDO2Fm3A94S6M7CglVBfYe8Dm1MRk02/rlbovo6P UpaPtI6eUK66l54bvTlZl/eipL3HS6sMWcEEqMZlL3hIeQRl211MYrYgDMhVs1olrHrtxJSA slM1laHmr6if9cMCyGrQy4EIlydq3Zhzzozcbpip4V3iBLQ7wtGOmjSJrUwMT5K44lnVwHVf SQ+C3JmFQWV1dORu1f1jb5Op3APz44Mib8X9yWn2/2XKDO0Bv7xoM2M4XN5NIoo//UqY4e7e pPU5tSDx3TeVMeC6ATdCXzjTqMIlIQIe3BWGKEQyzNiZJZO/INF7QBZvigWKblBTrQqp/Wua 3x/DHxLpcf8f42F0nofhOb537mcjRbCKPzK0TQpja8a3540dnAzZSkT4qi+S4/RimmIDHARJ xse5hhN4wRGkZJseufi48zDS5oeklZr
  • Ironport-sdr: 676047c1_lcIfhStzTXKgDC2bLKaDBZ7WzygizIdZw0r7+0hOEvL6PwK 9BgbA1eUMnrsd9/wcsKZsRGjrbAeO6Ys8vSoTbg==

Dear all,

there are several postdoctoral positions available at the Faculty of
mathematics and physics, University of Ljubljana, as well as at the Institute
for mathematics, physics and mechanics. We are looking for researchers with
strong interest in working in any of the following areas:

* machine learning for formalized mathematics
* proof assistants and formalized mathematics
* theoretical and practical aspects of type theory

There is no specific date-limited call for positions, as we are somewhat
flexible with starting dates and duration of postdocs. However, we would like
to fill the available positions sooner rather than later.

See
https://www.fmf.uni-lj.si/en/research/seminar-for-foundations-of-mathematics/
for basic information on the local research group. We are a moderately sized
but active and varied group. We seek candidates with some degree of
experience in the topics of interest. Potential candidates should contact me
at Andrej.Bauer AT fmf.uni-lj.si <mailto:Andrej.Bauer AT fmf.uni-lj.si>. Candidates
who are specifically interested in machine learning for formalized
mathematics are encouraged to also contact Ljupčo Todorovski at
ljupco.todorovski AT fmf.uni-lj.si <mailto:ljupco.todorovski AT fmf.uni-lj.si>.

With kind regards,

Andrej



  • [Coq-Club] Postdoc positions in Ljubljana, Slovenia, Bauer, Andrej, 12/16/2024

Archive powered by MHonArc 2.6.19+.

Top of Page