Skip to Content.
Sympa Menu

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

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD 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 position at the University of Copenhagen
  • Date: Thu, 22 Feb 2024 12:01:39 +0000
  • Accept-language: en-US, da-DK
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass (sender ip is 192.38.125.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=arcselector9901; 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=d4O93ZVarrkXmMwOBhp7S/VlPbx5dy/tlkNk0dhBlwI=; b=HB2LTffVvrj4WezOHMWJ77+zgUPG/fthSfNkAXqrUKWTgI1pr/cNWa44hPQKKAsr0Kg+bHYfxYv2cMv576RGiXTZTfYbgW5s8s2Jl4OJlG62TgYvJ73GBGrTjve+QQodo/8rawMgfYI7ZIJWJHmwCVywxK3V3E6fYyXKpEK/B2jcJeiVKnlXDXhErXfsOb5xs5PWJt+v5amg0WaElJ86bJ7PJ2NJ6U/wZEWgLg5GpK3hb52A6HdLuRlPnfchJOBakaRhtZ1FP5kMd5AT3dxvwZQQ0x3oOdSlSax7wtpQhnlxMTL3E0G+6LDCUf00V1D/4xgtsYguXCVLbyzFXjuCvA==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=WnOeuXHHw4QQsu8qshvjANbAVdKtZ7TTFlnQI97Z8DGw6eBTQl4r8NkVo8TfoOAZlsSUWNYO4GvMhKHSKSwbkHN5bw4PglUnZja+0jNVQuQmX8ZZDFijcsxhmfhAW+o4LK//skp1bV4kf2NFlIVvILxIat5HiVmZ0Ie1TPCo4/SmsHxTc/6KiNvVAt1WTiG2VfUo2bpjIEmyyxemBxvYYGcX7MwBiLPlDFGb/6tTvEcy4XD4j7Z/byyMmG4C0D/cK23GWp3f8O/mvO/bgQnI+L+oKsCvAj8Z6OvMNVxE+v/lvJ0c3pgtrk5cE5NOlCzA/hxsx/CMuubaThqi3adJKg==
  • 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 EUR05-VI1-obe.outbound.protection.outlook.com
  • Ironport-data: A9a23:idZSMqun15qi3wewUrh827RV0ufnVCdVMUV32f8akzHdYApBsoF/q tZmKWCFaP/bYDOjeY0jb4+1p01XuJ+ExoAyHVRlpCtnQiwXgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTrSCYEidfCc8IA85kxVvhuUltYBhhNm9Emult Mj7yyHlEAbNNwVcbCRMtcpvlDs15K6u4GlC5ARnDRx2lAa2e0c9XMp3yZ6ZdCOQrrl8RoaSW +vFxbelyWLVlz9F5gSNz94X2mVTKlLjFVDmZkh+A8BOsTAezsAG6ZvXAdJHAathZ5plqPgqo DlFncTYpQ7EpcQgksxFO/VTO3kW0aGrZNYriJVw2CCe5xSuTpfi/xlhJFwWYoBCwNsnOm5Dq OAoMBUWMwDd3MvjldpXSsE07igiBOTWBttC/09BlHTeB/tgRo3fSaLX49MexC03ms1FAffZY YwedCZraxPDJRZIPz/7CrpixKHx3ia5KWQe8QjNzUY0yzC7IAhZzKLkIcbYfvSGRINWgwCUp Qoq+kygX0pAaITOl2LtHnSEgePAryzQA70uLqCA1tp7nVG53GkaF0hDPbe8iaLi0BLhMz5FE GQf/TNrpqwv/mSwX9zlVlu5pmSFt1gSQbJt//YS7QiMzu/K4l+UG3JcEzlHMoV87IkxWCAg0 UKPk5XxHztzvbaJSHWbsLCJsTe1PitTJmgHDcMZcecby8TD/4xptC+fddluTbKFlvjuRCGum Bnf+UDSmI4vpcIM0qy6+3XOjDStuoXFQ2YJCuP/DjPNAuRRNN/NWmC41WU3+8qsO66wcjG8U JUsnsGf6KUQDMiAiTbVHeILRujzv7CCLSHWhkNpE9857TOx9nW/fIdWpjZjOENuNcVCcjjsC KMyhe+zzM8OVJdJRfYtC25UNyjM5fWwfTgCfq2KBueimrArKGe6ENhGPCZ8JVzFnkk2ir0YM pyGa8uqBntyIf04lGrrG79Hj+FzmX1WKYbvqXbTnkzPPV22NSb9dFv5GADXNblRAF6s/FuKr 40Pb5viJ+t3CbemPHCKmWLsEbz6BSNgX8ypwyCmXuuCKRBhA2YvF7faxqk5E7GJbIwE/tokC kqVAxcCoHKm3SOvAVzTNhhLNumzNb4h9ilTFXJ3bT6VN40LO9nHAFE3LMtpI9HKNYVLkZZJc hXyU5/QUqsRGmicoGp1gFuUhNUKSSlHTDmmZ0KNCAXTtbY5L+AQ0oa8J1O9xzpEFSetq8o1r pup0w6RE9JJRB1vAIySILijxk+49ypV0u9jfVr6Ev8KcmXV8a9uN3PQiN0zKJoyMhnt/GaR+ DuXJhY6ntPzhbEJ3uPHvo2+lLfxIdBCRhJbO0L58YeJMTLr+zv/4I1YD8eNUzPvdEL136SAZ uxukuvwC6AElUdrqKt5Ka5glogl1uvspphb7wVqJ2rKZFKVEYFdImGK8M1Ml69VzJpbhFeGY V2O8dxkJrm5AsPpP1oPLg4DbO7Y9/UrthTNzPYyemPW2TRW+eeZbEBsIBW8sixRA79rOocDw +16mso36RS6uyU6IOS9kSFY2GSdHEMuC5x9mMkhP7bqrQ43xnVpQ5/WUHb26a7STeR8CBAhJ zvMiZfSg7hZ+FH5TEMyMnrwxstYu4UFvUFb7V0FJmnRoOH/uN0M4ERz/wg0HyNv9TcW98JoO 2NuCV95GrXWwRdsm/p4fj6NHyNvOUSn33LfmnU1kF/XdU2KblD2DXYcPL+N9X8J8mgHcTl8+ qqZ+VnfUj3rXZ/Q2xEqfUt58tjmd8ZQ9xLDqu+jDc+qD5k3Whu7o66MNE4jiQrrPtM1v2LD/ dJVxedXbbbqExIQr4kQKZio5Z5JRD+qfGV9EOxcpoUXFmTiSRSO8DmpKXHpXPhSJvbPoHSKO +Y3Ku1hDx2BhTuz9BYFDqsxIphxrv4jxPwGXpjJfWcmkb+ungBFgaLq1BrVpTEUGo11sMMHN InuWSqIETWQiVtqimb9lpR4FVTiU+YURj/X/b6Ty/oIJaIhoes3UEAV05mIhVu3HjZj3Sqpu FLkW/eL4c1kkZ9hjqn9IJVlXg+UE+7+ZM6M0QK0sulNU+/xDNfzh1sVhGXKbwVyFpkNautzj oWI4YLW3luanbMYUFL5upimFotn2/uTQ8xsa/3MEFRGl3GgXOvpskIP1EKmJaMUk/dbzNitH DG8WZCKbdRPB8pXn0MNYQcPDR8MVqb9NP/hgQifrP28LAcX/iKaDdGg9F7vNXp6cA1RMbLAK wbEgdSczfEGk5ZpGzk/GOBAP5BjBV3oBI8KVoHU7GGDL2+KhliihOPTpSA442uWNkjeQdfI3 53VYzPfKjGgs77s5/NEudVQuhY3Mi5MsdModBhAx+8s2iGIN09YH+EzKp5cN4p1lBb135TGZ D3gSmsuJCH+fDZceyXH/9XRcVaDN9MKJ+vGCGQlz2GMZweyIbGwMr9r2yNjwnVxIx/I7uWsL /MA8XzRYDm15LxURtgo2//qutc/m8vmxU8J936kwoa2S1wbDK4R3XNsIBtVWGaVW4vRnUHMP i4uSXoCXEi/TlXrHN19f2JOXisUpy7r0y5ieBLnLAwzYGlH5LYoJDzD1+DPPnkrQfkwfONLe 1KuAmyH7iaRx2AZvrYvt5Qxm6hoBPmXH8+8aqj+WQkVmKL24WMiVy/HtTRaV9ksoWazDHuE/ gRAIVBnbKhGFKyV8LGXjwYUvZ5yOp7JJy+clxbx/FcqjjRgp+U0uHGWIMbTJZC2qLWls0Ywr PL+qqqOiwX+iQYIbgWSehjWSpJrzC3R+bT5vvgUc67P
  • Ironport-hdrordr: A9a23:D5CmGq2IuxtAeucesFrG6AqjBW1yeYIsimQD101hICG9Lfb0qy n+pp4mPEHP4wr5AEtQ5uxoS5PwP080lKQFlLX5WI3PYOCIghrUEGgP1/qF/9SCIVyLygc+79 YdT0EWMrSZYjYK7reZkWzId6dG/DSeysCVbI/lvgBQpGpRGtldBnJCe3ym+zpNNXJ77PQCZe OhD/581kydkDksH4qGL0hAe9KGi8zAlZrgbxJDLxk76DOWhTft07L+Gwjw5GZSb9saq41CzU H11yjCoomzufCyzRHRk0XJ6Y5NpdfnwtxfQOSRl8k8MFzX+0GVTbUkf4fHkCE+oemp5lpvus LLuQ0cM8N67G6UVn2poCHqxxLr3F8VmjvfIGej8D3eSPHCNXAH4ot69MFkmyLimgodVQRHoe d2N2HwjescMfqPplWl2zGCbWAaqqOOmwtorQcitQ0XbWJXUs4gkWUhxjIcLH4hJlO31Gl1Kp ggMCib3ocWTXqKK3zfs3BowNuwRHg4AgyHX1hH492Z32kP2HxnpnFotvD3sE1wh64Adw==
  • Ironport-phdr: A9a23:a8Jtfxc2+kVWmxV00hhlTp1MlGM+/dbLVj580XLHo4xHfqnrxZn+J kuXvawr0AWYG96HoKkew6qO6ua8AzxGuc7A+Fk5M7VyFDY9yv8q1zQ6B8CEDUCpZNXLVAcdW Pp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9Kev6AJPdgNqq3O6u5ZLTfx9IhD2gar9uM Rm6twrcutcSjId4JKs8xRTFr3VWd+9LwW9kOU+fkwzz68uu/5Nv6Thct+4k+8VdTaj0YqM0Q KBXAzghL207/srnuwXdQwCS/HUcSGIWkhRJAwjB8h73W4r6vzX5uORgxiSUJNX6Qr8oVzus6 adrUwLohzwcNzEl6mHXi9d/g7xdrRm8uhFw2Y/UYIWSNPpjYqPQeM4RSGRdUspNUSFKH4WxZ JYNAeUcJ+ZVt4nzqUUToxuiCweiB+LvxSNHiXLtx6I2z+EhHBva0AA8Ad4DtmnfotXvNKcVV OC41KfGzTDCb/NKwzf96YjJeQ0/r/GWR71xcdbRxlcrFwjYiViQtZblMCmV1+QRrWeb6/FtW v+ui2I9qAFxvyKjydovioTQgI8e11/L+zljzokvOd24VFB0YcSiEJZItyyWKYR4Tt8mTmxmv Cs3yKMLtJ61cSUXxpor2QLTZfybfoSU/h7uUOecLzhkiX95ZL+yhha//0egx+DhVse50lBHp TdLnNnLs3ACzR3T6s6fR/t+40etwyuA1wPV5+pZIk40jbLWJpE9zrIqi5YfrUbOEjXolEnrl qOaa1so9vSw5+j6frnqvJ2ROoxuhg3jLqgigM+yDfwlPgUKQWSX4+qx2b758UHkXrlHjuc6n rTWvZzGI8kQu7C0AwtI0oY49xawES2m3skZnXgGMl1IYA6Lgo70MF/UOv/4F+2wg1G0nTdr2 f/GOrrhD43CIHfNjLntYbZw51dTxwQw0NxT/pVUBaofL/7pXU/xqcDYAQQ+MwypxeboFc9x1 psEWWKIHq+WLr/dsUOJ5uIoJemAfogVuCvhK/gh4P7uinw5lUUBcqmu2JsbcHG4HvJ4LEWFe XfhjcsNHX0XsgYiTuHmkkOOXSNJa3qvQa4w+ik3CIe8AofCQoCtjqaB3CC+HpBOemBGEEqDE Hf0d4qaX/cBcz+dIs57njwHSLitUZIu1RK2uA/80LVoNvDU9TEAtZL/yNh14PXemQwq+TxuE 8udy32NT31znm4QWzA227l/rVVhxVeHzKh3mOdVFcdT5vNMSgc1L4TQz+18C9DoWwLOZM2FS Fi8QobuPTZkBNk22poFZ1t3M9SklBHKmSSwSfdBnLuSQZcw76j03n7rJs87xWyQh4c7iFxzb s5OKXenl+ZD7QHCG4PN2xGFja+7aakY9CLMsmSei2aN6hILGDVsWLnICChMLnDdqs70sxuqp 96GDL0mNlEE0sueMu5Qbdavi1xaRfDlMdCYYmSrmm72CwzbjqiUYt/MfGMQlD7YFFBCixoaq GqcPBkiCyOJr2OYDyEoGVG8K1j0/7xGoWigBlQx0xnMakRg07Sv/RtAmeaVWu8e2poIuWEit nN4HwX1xMrYXuKJvBEpZ6BAeZU97VNAgHrerBB4N4e8IrpKq2MkK1kygWK3khJ9B8NHjNQgq 24swExqM6WE3VhddjSem5ftJrnQLWq09xeqA0LP8nfZ1tveuqIG6fBi7k7moBnsDE0ptXNuz 9hS1XKYoJTMFgsbF5zrAA4x8FBhqrfWbzNYhcuc3GBwMaSyrj7J2s44TOojxBG6et5DMaSCX AbsGsweDsKqJaQkgV+sJh4DOelT8uYzMabEP7Oawqe6IOtktD6ny2dapox+kwqN+yd6Vu/Uz sMd2fjLlgCDVjr6kBKgqpWrwcYdPW5URDP5kHK8V+szLuVocI0GCHmjOZiyz9R63dv2XmJAs USkDBUA0dOofhybaxr82xdR3AIZuy/C+2PwwjpqnjUutqfa0jbJxrGoaAAOK3JGQEFujBHvP M64jJpJOSrgJxhsjxaj6UvgkuJHvq1uM2TXaUtJOSvraW1hGPj4pv+JZMhB74ktuCNcXbGnY FyUfbX6pgMTzyLpG2Y2KCkTTzixod25mhV7jDjYN3NvtD/Dfso2wx7D5dvaTPoX3zwcRSA+h yOFTlS7OtCo+52TmfKh+qiiTWuwSpBXWSXqi4Cd8ie4rWFnGhywmfmvl8avTVB8iHekkYMzE 3yS9F71ecHz2r6/MP57c0UNZhe08Md8Foxk08MxiJwWxXkGl8CQ9HsDn330NIYT0qb/YXwRA D8TloKNplG9hws5dzTQndqqMxfVitFsbNS7fG4Mjyc07sQQTbyR8KQBhyx+5FyxsQPWZ/F52 DYb0/onrnAA0IRr8EIgyDuQBrcKEAxWJyvpwl6U9dmvsKhTTGquN7utkkZ914PEbvnKskRHV XD1d413VzNq59RjPVbk3Hy16ZyidNqaPpoD8xaTlRnHle1cLpk8w+ELiSRQMmX4pXQ5yuQ/g E8Lv9nyrM2dJm5q5q78Hg9AO2i/eZYI4j+0x/UWjoOM0ouoBJkkBjgbQM6iU6ezCDxL0Javf weWTG9g8jHKQ/yHW1fYsRourmqTQczzcSjPez9Bi40lHUfVJVQD0l1OGmxixthhUFjtnZCEE g8x5yhNtAeg9l0QlaQwcUG4CziXpR/2OG09EMHNdUMPvA8evx+HY4vCvocRV2lZ5sPz9gXVc z7CPl0aAz1RAR7WQAyydri2u4ua+rDBVLPndqnAPe3V+7wGD6/al9Xyi+4Et36NLpvdZHA6V q9igxMRUywhQJbSw21XGX5QynuFbtbF9k21onQl95nmovq3AFm969PXU+kAdog1s1W/haPJX wKJrB5wMi0QlpYFxHuSjaMawEZXkSZlMT+kDbUHsyfJCqPWgK5eSRABOWt/M85B7qR02QcoW 4aTktTuyrtxleI4EX9oaGa5x4SXRJVPJGuwclTaGEyMKbKKYyXRxN36ar+9TrsWi/hIsxq3u nCQFEqGXHzLmzTyVh+pOP1Bl2nHZFoH4N77KE8rUDK7BNv9IgW2Ktp2kSE7zfUvi3XGOHRde TlwfkVRr6GBuCNVhvIsfg4JpnFhLOSCh2OY97yEctBP6aQtWH0yzrgCsxFYg/NP4SpJReJ4g n7Xp99q+RS9l/WXjyBgW1xIoypKg4SCuQNjP7/Y/99OQyWhnlpF4GOOBhANv9YgBMfovvUa1 sLGhb7+LB9O8pTX4I0QBIKHTaDPeGpkKhfvFDPOWUEdSiW3MGjEm0FHuNyvzCXI66Yb893rk pdITaJHXlsoEP9cEl5iANEJPJZwWHUjjKKfi8kLo3G5qVOCIacS9oCCXfWUD/L1LT+fhrQRf BoEz4TzKoELP5H60UhvORFq2Z7HEE3KUZVRszVsO0Uq9V5V/iE0HQhRkwr1Lxmg63gJGbuok w4q30FgNP81+m6k4k9rdAaS4npq1hF3wZK83HiQaGKjcP/2BNkJTXKy7w9obPaZC050dVHgw BYibW+cAeoX1/w5KShqkFOO4MMTX6IDC/UCOFhJmrmWf6t6i10E83f+nBYV67edUckw01d6F Pzk53NYhVA5ZYZsd/WJffhHkgAL1PDJ4n7g1/hvklUXfx9fqTrLKiBU4BdaZuF+f3j6ubE1j G7K0zpbJjpWXqJz8KszrxEzZ7zbnSm4i+YReAfsbqSeN/3L4WGYzJzRGwpi2B9QzBtLpeAug 5VkLhDcEkkryPH5//EhOcuEKhwTY8kArBA7kg6CsKPO3NR5PNfkfggJZcKzjv5Jx3yFRUMuF YlK6dkdFJ6x1k2eNd3gMLMO1RQq4kLsOUmBC/NKPhmMlWVey/w=
  • Ironport-sdr: 65d737ae_4CqMnXAwCVzCd0IbnWUR2XE7/xWuB0mjmZ60qpen0LzenuQ 2Z4gtuQrM9ysyxwNbrwRDPkd7rbUI0E/+UIeiHg==

Dear all,

I am looking for a PhD student to join my ongoing project of verifying a programming framework for distributed stream processing in Isabelle. Please reach out to me if you are interested or know suitable candidates. With a few months delay, I will be also advertising a 3 year postdoc position within the same project. Feel free to reach out if that is also of interest.

The PhD position is described here with an application deadline on March 15:

https://jobportal.ku.dk/phd/?show=161126

Best wishes,
Dmitriy




  • [Coq-Club] PhD position at the University of Copenhagen, Dmitriy Traytel, 02/22/2024

Archive powered by MHonArc 2.6.19+.

Top of Page