Skip to Content.
Sympa Menu

coq-club - [Coq-Club] PhD and postdoc position at the University of Copenhagen

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD and postdoc position at the University of Copenhagen


Chronological Thread 
  • From: Dmitriy Traytel <traytel AT di.ku.dk>
  • To: "coq-club AT inria.fr" <coq-club AT inria.fr>
  • Subject: [Coq-Club] PhD and postdoc position at the University of Copenhagen
  • Date: Wed, 9 Oct 2024 08:24:38 +0000
  • Accept-language: en-US, da-DK
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass (sender ip is 192.38.124.140) smtp.rcpttodomain=inria.fr smtp.mailfrom=di.ku.dk; dmarc=pass (p=none sp=none pct=100) action=none header.from=di.ku.dk; dkim=none (message not signed); arc=none (0)
  • 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=xhxjnqOGaKYN1W5exgZ2MdaxSLmhUAQf1HbSj0SdyXA=; b=yEQa5H4I2LctyrTQyIvaTLsU8v26dnG9dgaj+qc7eDPQ1Tyr7R260v8mmns4KZJrWs5Upf3YhfgNPRJROwaJ7EThVHIm42U8nbaFifxdlhqKZgyz1eZgskZlcbqAKqX1kc42XJ5gME2eckxJYC5EmOZhBiBcLuG1/+UIQ4kQwg/ABoegBf0dxD/UyUgBwTvwGOWg6bGlQTlshwHQbgsCm/GxvSuO8MdWXCxZAvx7jRTa2PYweYoSWOBjyfizajKkY5kEoUp32UTKY252ah4f6NWflblnJ87ahR6xkbxvMzI55Ls4mGd6sSsRKVewYYM0kbJINDczUBueFVplF2QZog==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=B9uma4gSsMFZ87l0AKhmjPasWNdGbo4kErL0dQrWZDzaWD9oS7sXisdAoJ6PeQ48VPdnzBFoZBm689pQcucmdhD6Ij9CoudkaYf3n7z1QCauE4f7wDrmENG6+z71qgbyWxAaxnVm1ulEId7Rho9y2ewnSD42LJlfg1VLJ4A2QPqPba5y6FePyWPMW+g25CvVzfjP+t46SD/Xbemj9wPFlaVS03ZeG7bbhWpLoXUCsgiT22WJVS56qaIX0idgRCZLAwjOvVBss3cBUoMDSUcPYBrf8TgkslJ5xRi44QZavUtJxRSyyGPqirsobD7fXi6oegj+nyduGpSq0wH/pvgl0Q==
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=traytel AT di.ku.dk; spf=Pass smtp.mailfrom=traytel AT di.ku.dk; spf=Pass smtp.helo=postmaster AT AM0PR83CU005.outbound.protection.outlook.com
  • Ironport-data: A9a23:T+Fu7audDwiZy+Ep56KbrgiQQufnVNhfMUV32f8akzHdYApBsoF/q tZmKW2Db/aKa2WjfIt1bIW0oRgEvcOGz94xTQNt+C5hFCgWgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTrSCYEidfCc8IA85kxVvhuUltYBhhNm9Emult Mj7yyHlEAbNNwVcbCRNsspvlDs15K6u4WtA7wRnDRx2lAa2e0c9XMp3yZ6ZdCOQrrl8RoaSW +vFxbelyWLVlz9F5gSNz94X2mVTKlLjFVDmZkh+A8BOsTAezsAG6ZvXAdJHAathZ5plqPgqo DlFncTYpQ7EpcQgksxFO/VTO3kW0aGrZNYriJVw2CCe5xSuTpfi/xlhJGETHIQfwcwuOFoQp aEJI3cdcyult8vjldpXSsE07igiBODOZLsl6ipL8GmBULAhXIzJRLjM6ZlAxjAsi8tSHPHYI c0EdT5oaxeGaBpKUrsVIM9k2r7w3z+hInsI9zp5poJvi4TX5BBr2anxPd79dt3MRtgTkkXwS mfupjSmXUBHZIbEodaD2i6o2rbSrAflY9M9LriJx8BVglKp3FVGXXX6UnP++5FVkHWWUNVGb kcQ5yAGtrk37EXtT9/nXhT+rmTsg/IHc99ZEul/9wyW1qfJ+QGBC2EWSTgYMYR87JdmGnoty 0ODmM7vCXp3qrqJRHmB97CS6zSvJSwSKmxEbigBJecY3+TeTEgIpkqnZr5e/GSd1LUZtBmpq 9xWhEDSRon/jPLnE42S2Aj/uWL3jaWRFlNz4RjLVGW46A8/fJSie4Gj9Vnc67BHMZqdSV6C+ nMDnqByKcgQWIqVmnXlrPolRdmUCzStaVUwQmKD27Et9nKu5jivfui8JRlgcVxxPJ9slSDBO SfuVMA42HOXFHerK6xqJY6yYyjvIW4MCvy9Ps3pghFyjlSdueNJEOyCpaJd4ow1rHURrA==
  • Ironport-hdrordr: A9a23:x0SA+6uVTax5ZWx9GuR1E6tT7skCqYMji2hC6mlwRA09TyXGra 2TdaUgvyMc1gx7ZJh5o6H+BEDyewKjyXcV2/hlAV7GZmXbUQSTXfxfBOfZslvd8k7Fh5pgPM VbAtRD4bTLZDAU47eYkWvIdqdFsb66HbiT5ds2p00dOj2CAJsQlzuRfzzraHGeMzM2fqbReq Dsn/avkwDQD0j/I/7LSEUtbqzmnZnmhZjmaRkJC1oO7xSPtyqh7PrAHx2Rzn4lIn5yKeNJyw n4uj28wp/mn+Cwyxfa2WOWxY9RgsHdxtxKA9HJotQJKx334zzYI7hJavmnhnQYseuv4FElnJ 3nuBE7Jfl+7HvXYyWcvQbt4Q/9yzwjgkWSjWNwuUGT5/AReQhKSfapxLgpMScx0nBQ/O2UBZ g7ml5wtPJsfFn9dWrGloH1vlpR5zuJSEEZ4KUuZkxkIMIjgfdq3PwiFXxuYd899QLBmcwa+b pVfY7hDbBtABKnRmGcsm5j2dqtWWkoEh2bWUgeqojNwjVbzSg8w1Rw/r1sop4vzuNPd6V5
  • Ironport-phdr: A9a23:n76ewRSyNTxTWppKez594cBqiNpsopGXAWYlg6HPa5pwe6iut67vI FbYra00ygOSBcOBsKkP07aempujcFJDyK7CikxKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxB sVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizewb69+I A+ooQjfuMQajpduJ6kswRbVv3VEfPhbymxvKV+PhRjw4du+8oB++CpKofIh8MBAUaT+f6smS LFTESorPWMo6sD1rBfPVQSA6GcSXWUQiRpIHhPK7ArmUZfrsyv1rfRy1S+HNsDrV780WDCi7 6B2SB/0jSoMKjA0/H3LhsF2kalWpg+qqR5izI7OeIybNORwcL7Bfd0URmRBX9peWCNaD4ymc 4cPCvAMMfpEo4XjoVYFsBuwBROrBOPq0jJGiHr23awm0+Q7EAHH3BErEcwUsHvOrNT1KLkdU eSox6TP0TXDdelZ2Dfh6IfWdhAsuuyDXbNqfcrS1EkjDR7KjlaJpIHjIjia2fgDvXKB4Op8S eKglXQnqwdprzWv2MsihZXFi4Ybx13A9yh03oY4KNOlRUB1f9KoDJteuj2GO4dqRs4vQm5mt Tomx7AauJO2fCcExZQ6yhDfafGKdZWD7BzkVOaUOzh4hXRldaq8hxav60Sv1+78W8+p21hJt ipIitnBum4X2xDO9sSLV+Fx80al1DqV1A3e6PlILV0omabBKZMswaQ8mocPvUjZHSL6gFj6g auIekk+9OWl6P7rbqj4qpKTLYN4lw7zPrgol8eiH+k4NhUOX3OH+euizr3t4Ez5QbRUgfAuj qXUto3RK94Bqa6jGQBV154u6xahADei19QVhWUKIlVZdBydk4bkOF/DLe72Avujn1ihkC1nx /fbPr39GZrNKWXDkLH8crpn805c0g0zzcxB6J1IFrEBIfXzWknruNzfEx85Lwi0w+HgCNV+z I8RRWWPAqqBPKPTt1+H+P4vLvGMaYMLojrxNuQp6+P0gXI4nVIRZ6qk0JkPZHC9BPtmIkGZY XT2gtcGFGcHphY+TPbwh1yCTT5ceXKyUrkh6TE6Eo6mDprDSpqwj7yCxCu7GIZZaXhcCl+QC Xfoa5mEW/AUZS6POsNhiCALVaC9S4890hGjrBP1y71+LubN5iIYsY/j28Nu6u3IlRAy8CR0A N6H32GMSWF0hGIISCUs0KBxu0wugmuEhOJzhOUdHthO7dtIVB07PNjS1aYyX9v1Q0fKesqDY FegWNSvRz8rGIEf2dgLNmp4Gsm4jwGL4zCjEqMYk/TfGIY9477R21D9JoB+1jDK1/9y3BEdX sJTODj+1eZE/A/JCtuR+634v6OjdKBGmTXI6H/G122F+kdRTA93V6zBG3EZfErf69rjtQvZV 7H7L7MhP0NazNKabLNQY4j1l1xXWPrnENjfJWGs3WuzVl6T3r3ZVIPxYC0G2TnFTk0NkgQd5 3GDYBQkDza9rmb2AD0oFk+pb0C/ufJmpiaDR1QvhxqPc1Un17ex/UsNgueATvoIwr8ekA4E8 w1OTA2W4oqOVpyHuhZre7habZUl+lBb2GnFtgt7eJu9M6RlgV1YeANy16/3/zNwDIgI0c0jr XdwiRF3NbrdylRKMTWRwZH3PLTTbGj05hGmLaDMiBnY156N96ED5e5dyR2rtRy1Fkck73Rs0 sVEm3qa6JLQCQMOUJX3Gk8p/hl+rrveb2Ez/YTRnXFrNKC1tHfF1bdLTKM50B+xY9pbGK+FU gzvVcEZRoCvJOEsh1m1f0ccJukBvKUwPs6ga76HwPv2ZqA5xGvg0zUBsN8utyDEvzBxQePJw ZsflvSR3w/dEiz5kE/kqMf834ZNeTAVGGO7jyniHo9YIKNoLuNpQS+jJdO6wtJmitvjQXldo RS/HVoXxMKtURaTKV/gmwFTnxdywzTviW6jwjp4nit85LaF1T3SzuDKeBtBOXMNSGoo3h/8Z IOzid4dRk2haQMkwQCk6UjNzK9evK1jLmPXTC+kZgDOJnp5Guu1v7uGOYtU7Y8w9D9QW6K6a EybTbj0p10b1TniFi1Q3mJzezavs5T/1xt07QDVZGpppWvFdMVYyRaZ58GaSf0Z0jcdRSZ+g CXaHRDhZZ/wpYzSycaF4r/2XnnpTpBJdCj30Y6M/DC242FnG1za/bj7m9HqFxQ7zT6u0tBrU SvSqxOvKoLv1qm8LadmZhw1Xhmls5M8RNA4wtRj4fNYkWIXjZiU43cdxGL6MNEBnLn7cGJIX zkAhdjc/Ani3kRnaHOP3YPwEHuHka4DL5G3ZH0b3iUl4oVEEqCRufZYhyJkvle8hQ7QJ/tg2 Dseg6hLijZSk6QStQwhwz/ISKwIFFhEMCjEmxXO7M34oKYdNy6/NLO30kR5h9WoCrqP9xpdV HjOcZAnBSZs7897PQGpsjW7+sT+ddLXd95WqgyMnkKKkb1OMJxo3KlClW99NGn6p3Fg1+Mrk Ukkw8ShpIbeTgcltKOhXkwEbnukPYVLvGmq1PsWn97Kjdz3WMw5RXNTGsOvFKzgESpO56m9c V/WSHtk7C/cQOe6f0fX6V86/S+VVcnzbTfPYiFelIsqRQHBdhEFxllMB3Ni2MZ+T1/ixdS9I h4hunZNuRig7EMLk70NVVG3U3+B9l2hMm5mEcHGfhQKtlkQtQCJYYSf9rwhRSgAp8/49VXfJ DDDPFYaSj1YPy7MT1H7YOv07IGZobHBX7iwc6OVM+XW8bQMBbDVnNquytU0pT/Ub5fWZyAwA aFjgRhIBSghSZaexmxqKWRfljqTPZSS/E7uo3Qu/M7jqK+5Vlq3vdndTOYIeZBm/xT86UuaH 9aZnz0xaTNR15dWgGTN1KBaxlkZzSdnaziqF70E8y/LVqPZ3KFNXVYXbCZ6Nc0A6KxZvEEFI cnAltb8zaJ1lNYcLg99bwy6sfzxPZFMJHyhPlTaAkrNLK6BOTDA38DwZ+W7VKFUi+JX8Ra3v FP5WwfvMy+CmD/gSx20ebwWynjDZVoA6cftLV5kEiD7QcjjawGnPdM/ljAwzbAuxzvLOWMaL TlgYhZNo7mXvkY6yr10H21M6GYgLPHRxnzftrGBbMhH96s0UUEW36pA7X83yqVY9nRBTf1xw m7Jq8J25kuhma+JwyZmVxxHrnBKgpiKtANsI/a8lNEIVHDa8RYK9WjVBQ4Noo4vFsfmqrxdz vDDleTwNXFO8JiHmKlUT9iRM8+BPHc7ZFDxHyXICQIeUTOxHUj633RnwKq5yyXN8949t4Tmn 4cIRvlDTlspG/gGC0NjWtsfPJNwWTBimrmexp1thzL2vFzaQ8NUuYrCX/SZDKD0KTqXurJDY gMB3bLyKYlAfp2+wUFpbUN22ZjbA0eFF84YuTVvN0VnxScFuGg7VGA43FjpLx+g8GNGX+Dhh QY400N/ebh/qG+qsg1xfhyS43Jt2EgpxYe52XbIKGG3dOHoGtgIbki8/0kpbsGmGUAsNVX0x Qo8c26ZD7NJ0+k9LyYy0FWa4d0XXqcCBaxcPE1Nn7fOP65uiRIE7Xz4oC0PrerdVck7zFdsL cHq9zQYnFs8JN8te/6KLfIQnAEJ3/CA4nfwhLJ2nF97RQ5F8XvMKnQB4BVab+B/dST0prc+u 0veynNCYDZeDfNy+6AzrxpvNbjYlHCwi+YbeBL2arX6TevRunCex5SBGgpijxpRxUcZpeMk2 p97KxjGEB12hLqJSUZTPJKbe1gMNphcqCCILyjW6b2fk9UoZc34H+TsB4dmUY4YgwSnAUAlH NZUhizgNrCJiHnifZzMEeZdlFMq+RjhI0iDALJRYhWXnTwbosa5iphqwY1aITJbCmJ4Y3zfD ln/qg5sg+fFUNRkOx8n
  • Ironport-sdr: 67063de9_CXgSHyFAokLmX+dPlU2EfDT0Y2EEGzX/ycva8YoU0TpDTy6 sBjAb4CSdofbep/XXDiUD+u06uy7yXJh4pazzwg==

Dear all,

I am looking to fill a PhD and a postdoc position at the University of Copenhagen from early 2025 both on the topic of formally verified, distributed data stream processing:

PhD position: https://jobportal.ku.dk/phd/?show=162724
Postdoc position: https://employment.ku.dk/faculty/?show=162682

The application deadline is 31 October 2024, 23:59 CET.
The positions are funded by a grant from the Independent Research Fund Denmark (DFF).

Familiarity with proof assistants or verification of distributed systems is a big plus.

Feel free to contact me, if you have any questions or know suitable candidates.

Best wishes,
Dmitriy



  • [Coq-Club] PhD and postdoc position at the University of Copenhagen, Dmitriy Traytel, 10/09/2024

Archive powered by MHonArc 2.6.19+.

Top of Page