coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Tarmo Uustalu <tarmo AT cs.ioc.ee>
- To: "coq-club AT inria.fr\" <coq-club AT inria.fr>
- Subject: [Coq-Club] Postdoc positions in Reykjavik
- Date: Sat, 16 Mar 2024 15:00:49 +0000
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=tarmo AT cs.ioc.ee; spf=Pass smtp.mailfrom=tarmo AT cs.ioc.ee; spf=None smtp.helo=postmaster AT webmail.ioc.ee
- Ironport-data: A9a23:PruzZaNczyrxEr7vrR2yk8FynXyQoLVcMsEvi/4bfWQNrUom3jwDy jAZXzjTO/7cZ2f1Ltpxa9jjo00O6MDTzYJgT3M5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/vgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5OZYADNNwJcaDpOt/rY8U035ZwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGX8enHN39tgKHgXftcD5ux6Lkxp+ 9UHfWVlghCr34pawZqkR+Npj8UnasjsN8UStxmMzxmAXK1gHciFGfiTo48wMDQY3qiiGd7Cb tAcbhJkd1LBZBYJN1p/5JcWxbr21ymjKmQJwL6TjZYa80bhkxx766nKAdfbesORest6un/N8 woq+EyiX01BZYLHodafyVqngfaKlifmUqoJBbig/7hrhkeSzyodEnUruUCTvvSzj0e/X5ReL EdS9ydGQbUOGFKDdND3fgGWrlq9n11GQMZaHsIXzw+k1f+Bi+qGPVQsQjlEYd0gkcY5Qz02y 1OE9+8F4xQ16dV5rlrHrd+pQSOOBMQDEYMVTQIpJTbpDvH8rYs2hxPLCNdkG+i4g7UZ+A0cI RjX9UDSZJ1K06bnMplXG3id2lpAQbCTF2YICv3/BD7N0++ATNfNikzBwQGzAQx8BIiYVEKdm 3MPhtKT6usDZbnUy3XVHb9SQO/3uKvaWNE5vbKJN8V7n9hK0yL5Fb28HBklfy+Fz+5aJ2K3O Cc/RysBtfe/w0dGnYcsPt7qWppypUQRPdTsTPHYc8ELKpp4PBOK9S1zfkuR2WH2jEUhi6AiP P+mnTWEUB4n5GUO5GTeetrxJpdymnphnzuCFMynp/lluJLHDEOopX4+GAPmRogEAGms+W05K v4OapvY+AYVS+DkfCjc/KgaKF1AfzBxBon7p4YTPqSPKxZvUjNpQfLA46ITS6o8lYRsl8DM4 i6cXG1cwwHBnnHpE1iBRU1iT7LNZqxBi0wHExYiB2v15Eh7U72TtP8eU7AVYYgY8PdSyK8ob vsdJOSFLPd9ahXG3DU/b5Ls8ZRoLjG2tz2zPg6OQjs2T7h/TSPnp/7meQrO8nEVLyyV7MERn Zyp5jn5c7EiGTtwKdbzVqq07lWTuXM9prpDb3HQKIMORHS2oZlYFSPhq9QWfecOEEzn7RmH3 V+0BRw4m7H8k7Ut+oOUuZHe/pabKMogLE90BGKB0K2XMxPd9W+dwYNtduaEUDTedWHs8pWZe uRn4KDgAcIDgWp1ndJwI5RzwYI6wunflbtQ4wBnPXfMNnCAKLdrJFuY1shu6IxJ4JJkujWNZ 0HewekCZI21O/7kHmUBeysjTOCIjs8PlhfosP8aHUTd5Q1MxoShb3l8BRe3pRZmHONHC799m eYFk+wK2jO7kSsvY4qnjDgL1mGiLU4gcqQAt7MYC562kgBx70xwXqHdLgTU45i/TcpGHWd3A z2ThYvE3699wGibeVUNNHH958hvrrVQhwJv3Ho8f0+onPjBjd8JhCxhyyw9FFlp/08WwtBNN XhOHGwrA6e3phNDptVJBkKoECF/XCypwFT7kQY1pTeIXnuTdzL/KUMmMryw52EfyWVXewZb8 Jy+yGrIVTXLftn77hAtWHxK+uDScthsyjLswMyXPdyJP50fUwrXhqWDYWkpqRy+JegTgEbBh /dh/ccuSKndGBMTnZYGCNih5exNcCyHGW1MeuE+3aUrGWqHRiq+9wLTIG+Me+RMBcfwz2mGN +JUKPliaTGCxQeVjzVCBaczM75+x/Eow9wZe4LUH20NsprBjzxltKPVryj3u3A2Suo/k+I4F Ifwdi2DIEOUl3B7i2/Al+gaG2uaMP0vRhzw4/Cxy8oNT6k8ieBLdVog94eas1G+EhpVzzjNs CztP6bpnvFfk6JylI7SI4B/LgSTK+Krct+X8Qq24u98XfmWPejg7woq+0TaZSJINr4sWvNyp 7SHkPjz+Gjn5L8WcWToq6OtJplzx/eZfbRoa5rsDXxggyG9dtfm4EID90CGOJV5qo5hyff9d TSoSvmbVIAzYMhc9k13eiIFMhc6CobLVInCix65jcyxDkk67VSaAvKhrHPnVDQOPGtAcZjzE RT9tPuS98hV5tYETgMNA/Z9RYR0Ohn/UK8hbMf8riScEnLuuF6Zp7/+jlA13Fkn0JVf/BrSu vophyQSdShefInXwdtcuo12+BwQBzBwjIHcu67bF8Fe01iH4KwudIzx8qnqzrlfiWrz05q+a TylgK4KF3DmRTodGfnjyI2LY+pcb9Di/v/yPXoo+EjSZire6EZsxld+3n8I3kqasQcPAA1qx R/yN5Ew0tWMLklVeNsu
- Ironport-hdrordr: A9a23:BhicaqmM5uygi30XWD1D+O/1qTDpDfI33DAbv31ZSRFFG/Fw8P re/sjztCWE6wr5PUtKpTnuAsS9qB/nmaKdgrNwAV7BZmjbUQKTRekJ0WKI+VPd8kPFmdJg6Q ==
- Ironport-phdr: A9a23:kZdUpx1FNwrIfeY5smDO1Q4yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaOo6U3xwOXFazgqNt6yMPu8JrcEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzH cBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94PXbglShzexf7x+I Rq3oA7MqsQYnIxuJ7o+xRfOvnZGYeNay392K1mOhRj8/MCw/JBi8yRUpf0s8tNLXLv5caolU 7FWFSwqPG8p6sLlsxnDVhaP6WAHUmoKiBpIAhPK4w/8U5zsryb1rOt92C2dPc3rUbA5XCmp4 ql3RBP0jioMKjg0+3zVhMNtlqJWuByvqRxhzYDJY4+aO+ZxcKzGcNMGR2dMRNpdWzBdDo+ia YYEEuoPPfxfr4n4v1YAswGxBROpBOPo1zRHiGL23bYm0+s7FQHGwRErEtUSsHvOttX1MaASX Pupw6nT1znDbvRW1ivn5IfWbB8suPeBVq9/fsTN00cgDR/FjkmOpoz/OTOYzuoDvWib4udgW ++jl28qpx9xrDSzyMkglI3Ei54bxF3F6Ch0w4U4KcOlREJlb9OpEIZcuj+aOoZ4Xs4vTWJlt SY8x7Ybt5C7ey0Kx44mxx7Zc/GHaZWI7gjiVOaKJzpzmXFreKqnihqv9UWtxPfwW8ao3FpQs CZIksTAumoO2hHV98OKVP99/lq62TaTyQ/T8PxKIUE1lKXFM5Mt3rg9nYcJv0vZBC/5gkD2g beWdko6/uio7PzqY7v4qZCHMo97kAD+MqA0lsy+BuQ3LhICUHaF9uik1b3j+1P2QKlSg/Erl qTUvorWKMsHqqKjHQNY0psv5wy8Aju+1dQXh3gHLFZLeBKdiIjpPknDIOziAvelhlSslyxmy OzdPrH7A5XNKWTMnK3/crlj80JczhE8wshF551IErEBPO7zWkjpudDFFhM5KRC7w/77CNVh0 YMTQX6AAqiAMK/LrVCI4v8vLPKXaY8OuDf9LuAl6OT0gX84n18dZ6ip0oENZHC2BPQ1a3meN DDnhc5EGmMXtCI/SvbrgRuMSwoZLz7mVKUlozo/FYiODIHZR4nrjqbXjwmhGZgDWmlcD1fEL Grza4yARr9YdCuIJ8hJmSdCVL+qDYIsg0L9/DTmwqZqe7KHshYTsojugYAdD4z7kBgz8WYxF MGByySXSGoymGoURjgw1aQ5oEpny17F37Iry+dAG4l14PVEGhw/KYaa1/ZzXsz7QAfGVtySD lehSZOrDGJ5Vco/lucHeF01ANC+llbG1iuuDaUSkumXDYYx9YrXxD7wIM07xnuVnLI5gQwAR c1CfXajmrY59wXXANvRlF6Fkq+xaakG9DHA/mKKzG7IvUZTFgN9OUncdVYYYEae7dHw50eYC qSrFaxiKAxKj8iLNqpNbNTty1RAXvbqftrEMSq3nC+rCBCEy6npDsKicngB3CjbFEkPkhwCt XeAOw8kAy69omXYRDVwHFPrakno/KFwsnS+BkMzygiLaQVm2d/XslYJjOaZTNsYxfQFvyxnp jg1VFex0tTKCsaR8hJ7dfYUatc87VFbkGPB4lUsZdr8d+Y42wdYI1cS3QumzRh8B4RenNJ/q XoryFA3MqeEyBZbcDje25nsO7rRI220/Ra1aqeQ1EuNtbTesqoJ9vk8rE3u+Q+zEU93uWluy dxS+3CHoJTNB0wfXNiiGlZy7BV8q7zAN2Mh7pnR0lVnKu+1tTSE1t9jV45Hgl6wOtxYNq2DD gr7FcYXUtOvJOIdkF+sdhsYPepW+cbYJuuefuCdkO6uNedkxne9iHhfpZp62QSK/jZ9TejB2 9AExeuZ102JTWW0gFCku8Hx0YdKAFNaVna20y3jLIVKIKx1dsAGBC+iLta2ydN3m5P2EycJr xj/XxVchZbvKVKbdBTl0BdV1FgLrHDvgia+wzFu0lRL5uKe0CHI3+X+ZU8CM29PSnNliASkK oy1gtYGGUmwOlF4z135vQCgmvEd9PcaTSGbW0pDcinoIns3V6KxsuDHeMtT8NYyti4RVu2gY FecQ7q7oh0A0iqlEXENoVJzPzyspJj9mAR3zWyHK3Mm5mbQY8R37RzEot3bTrhc03BVDDk9k jTRClWmapO19M+RkL/Iqaa/UGnnW5AZIkyJhcuQ8SC842NtGxi2mfu+z8bmHQYN2ij+z9B2V C/MoUW0cszx2q+9K+4iYlhwCQq29Z9hAo8n2NhV5tlYyT0Ai56S53ZCjWrjLYARx/fldHRUD T8Tn4yMv1KjgRIldjTTmt6xV23BkJI+PZ/jPSVOnH5YjYgCCb/IvuUbx20s/Rzg61iMOrB8h mtPkKp1riJCxbtU4Uxzkm2cGuxARBgDe3C00U7Vtpbk9PkyBi7ncKDshhMvxpb9VPfY/1gaA iynMpY6QX0pv545bAqKiiCqrNGsecGMP4tC7VvIy1Ga07ITcslp85hCzSt/ZTCk7CZjl7Z91 0E3m8zyvZDbeTw8p+TlWlgCa2SzPpJCsjD10fQHz53Qg9jpRMg4XG9TAf6KBbqpCG5A7KW8c VrWVmdh8zHBQ+OXHBfDuh439DSTS9bxaijReDFcxNFmDnFxPWR5hwYZFHU/l589TEWxwdD5N V1+7XYX70L5rR1FzqRpMQP+WyHRvlXgbDB8U5WZIBdMi2MKr07ILcyT6P5yFCBE79WgqgKKM GmSewVPCykAREWFA1npOrTm68PH9qCUAe+3Lv2GZrvry6QWT/CT2ZemyZdr5R6TO8+KN3hmS fw80QxOUDExGsjUnSkOVz1Cly/JaJ3+xl/08Sl2o8ajtfXzDVu+vs3TU/0IbIwpq0PT4+/LL eObiSdnJCwN05oNwSWN070DxBsIjCoocTCxELMGvCqLTaTKm6YRAQRIDkE7fMZO8a842RFAf MDBjdagnKJxlPsyI1xeE13mkYekaIZZRgP1fEOCH0uNOLmccHfTxNrrZKqnVbBKpPpZvRi5u DLdEkjoeDmO3WqMNVjnIaRHiyeVOwZbsYe2f0N2CGTte9nhbwWyLN59iTBeKVgcjWiMNGkXd zVxIRslRly48i5Sh/x+HypA6XEjIOTWw05xAMHTMdAXtvAtDykmzopn
- Ironport-sdr: 65f5b424_Guoh7abGbX1T1UOixvFOXT7Te1ur61me8dWPjMfrrMtyH9t 0xwr2ER220SAzJrXLlZo+muujmQRYThV/o72yqw==
Two one-year postdoc positions (one possibly extendible to 1.5 years)
are available in the ICE-TCS lab of the Department of Computer Science
of Reykjavik University (https://www.ru.is/).
One position is in the Icelandic Research Fund research project on
computational effects and high-level control. In this project, we
study in particular effectful concurrency and event-drivenness. These
are the topics where we expect the postdoc to make research
contributions.
The other is in the University Collaboration Fund project to advance
and promote computer-assisted proof in Iceland, in particular to
introduce this technology to CS and math teaching at Reykjavik
University and the University of Iceland. The postdoc has to prepare
teaching material on verification of algorithms and datastructures in
a type-theoretic proof assistant and teach from it, but there is also
room for research in this domain.
Start date: soonest, summer/autumn 2024.
The gross salary is 663000 ISK (~4420 EUR) per month which amounts to
~3210 EUR after tax, with tax relief for foreign experts ~3675 EUR
after tax.
For closer information on the two projects as well as the research
environment and the conditions of the contract, please get in touch
with Tarmo Uustalu, firstname at ru . is.
To apply, please send me a motivation letter explaining your
background and interests together with your CV (including the names of
two references) and copies of degree certificates latest by 31 March
2024.
- [Coq-Club] Postdoc positions in Reykjavik, Tarmo Uustalu, 03/16/2024
Archive powered by MHonArc 2.6.19+.