coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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 positions at the University of Copenhagen
- Date: Fri, 9 Oct 2020 20:19:24 +0000
- Accept-language: en-US, da-DK
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=permerror (sender ip is 192.38.124.76) smtp.rcpttodomain=inria.fr smtp.mailfrom=di.ku.dk; dmarc=fail (p=none sp=none pct=100) action=none header.from=di.ku.dk; dkim=none (message not signed); arc=none
- 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-SenderADCheck; bh=bAwcUZatngiJUWAdeC9Ft1P2gk1W8bN1oHQFwhSVNOA=; b=dNUbsUUgVo+8af5YKzQa+cc2EOQJFHamOQYwiMPpPT40rpUi+nddVgkqXAC7KhkZVmTKpLjKM4sDaT+WcA3nm4bApAcKxgVjI7ZA1sgik47vwcIxou3/DToRL9Z8tFntWjgIA/9K8P8JOvzlL3YuCP75890+PvLYXvp0kHBN3ALEiS2IGkec8IG+lPriVfNzJ6JNorifTg8M6NPSb1Sx0SkAz/BRzOcj5IWhxMRlVm3u3oKqfbMaA2KdK++k22l5Z2NhlL4vn5NLhNIaDB3OFUxS6RATA9MbBcd2AdmGMRfij0gSCyTZu+Ts9FTmYOGwenWwW4dj7OEQuWlj8Vmtwg==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=gJ02j5HabdApCZJ6Ap3kDNuiRUo8GOrDoX4jl19Uy/S9xmn7b4AdA9ZOci92nwPsARIhdKnAHLpKiMTnCIBthOasaAqJk12jmUPMDOZbS0FYo21SX7ZRwgW91NcOFVnHWCsVyg2FjJRbwz7tCouPPOWGcaburl1yVWbZ0/BtjtuLfUDL3JjBI8WcHlv75b1QcjcTS4HPIl8Jc7MNB49FeK9wbb8r1nd/6MD23GlfJrMLHrWJ4wJlZ/2yISX/myFXeCBwlFFjnjjFAf4o1eenwvqqVnbbxFsFVgIqdhjpDvQFAu6qDN03pOEHMecxrTvINrpa7HyOY2kn+vyiG3mdIQ==
- Authentication-results: mail3-smtp-sop.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 EUR04-DB3-obe.outbound.protection.outlook.com
- Ironport-phdr: 9a23:Dmx5Rhyb5eDZNefXCy+O+j09IxM/srCxBDY+r6Qd2usfIJqq85mqBkHD//Il1AaPAdyEra8dwLuG+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxhKiTanYb5+MRq6oAHSu8ILnYZsN6E9xwfTrHBVYepW32RoJVySnxb4+Mi9+YNo/jpTtfw86cNOSL32cKskQ7NWCjQmKH0169bwtRbfVwuP52ATXXsQnxFVHgXK9hD6XpP2sivnqupw3TSRMMPqQbwoXzmp8qFmQwLqhigaLT406GHZhNJtgqJHrhyvpB1/zJLbb4yOLvVyYqbdcMkGSWZdQMpcUTFKDIOmb4sICuoMJehWr4z8p1sStxu+BAmtD/7xxD9SnHD33bE63PolEQrb2wEgA8gOv27UrdXpKqgSVfu4w7TJzTnZbPNWxC3x55XLch04p/yHQL1/f9bLx0Y1CwPFkkufqZbjPz6N1ukBrWeV4/ZkWO+hj2MqqR98rzihy8oxhIfFmJ4ZxFDY+Cll3Io4Idy1RkFnbNO4DJZdtiGXOYR2T84/Q29luiA3waAIt568eSgF0pUnxxjHZvyEboiE+A/sVOWXLDxlh3xlYKqyihmu/US61+HwSsu53ExLoyZfj9XBuHEA2wTO5sSbUPdw/ESs1SyM2gzJ9O1JIFg4mbffJpI/2LI9mJkevV7eEiPol0j6lq2be0Qi9+O18eroeK/mqYWZN4JsigHxLKAumsunDOo3PAcAQ3SX9Oul2LPt4ED0TqxGjvotnabHqpzaItkbprKiDA9Sz4Yj7QuwAy2+0NQCmnkHMExKdw6bj4joPFHOJur0DfCig1SwlDdrwPfGPr77DprRKXjDla/tfbd760FC1Ao+1d9S645OBr0cPP7+WFX9ud3CAhMkPQG5wv7rCNBn2YMfXWKPDLWZMKTXsVKQ+uIvOfODZY8JuDnjL/go/OPhjX4jlV8eYKmlx4YYaHOgEvR8P0qZeWbsgssGEWoSogU+S/XqhESeXj5Xena9RLkx5io7CYKjFYfMXJqhgL2H3CehH51ZfHpKCl6WESSgS4LREfwLcWeZJtJruj0CT7moDYE7n1n6vwjjjrFjM+D8+ysCtJul2sIjtMPJkhRn2Tl1E96cwimxVWhlgm4MD2sqxqluvUF54luCl6tlxfBbQ48Ar8hVWxs3YMaPh9dxDMr/D1qYI4W5DW2+S9DjOgkfC9I8x9hSPBRQJu/60lXv9XHvBLUY0buWGJYz76TQmWDrINpwwGrH069niEQ6RsxINiutgastrlGPVb6MqF2QkuORTYpZxDTErT/RwWvIv1weXA0iCfyUD0BaXVPfqJHC3m2HSravDbo9NQ4YkZyOK+1Jd5vljgcfSQ==
Dear all,
[PhD1] Explanations of runtime monitoring verdicts https://employment.ku.dk/phd/?show=152745
[PhD2] Formal verification of data stream processing https://employment.ku.dk/phd/?show=152743
[Postdoc] Formal verification of runtime monitoring https://employment.ku.dk/faculty/?show=152776The positions are funded by a grant from the Novo Nordisk Foundation. Especially for the latter two topics, experience with interactive proof assistants is a big plus. The above links provide more details
and instructions on how to apply. Feel free to contact me, if you are interested or know suitable candidates.
Best wishes,
Dmitriy
- [Coq-Club] PhD and Postdoc positions at the University of Copenhagen, Dmitriy Traytel, 10/09/2020
Archive powered by MHonArc 2.6.19+.