coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Postdoc positions in CertiChain project

From: "Sergey, Ilya" <ilya.sergey AT yale-nus.edu.sg>
To: SSReflect mailing list <ssreflect AT msr-inria.inria.fr>, "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] Postdoc positions in CertiChain project
Date: Fri, 11 Oct 2019 16:31:17 +0000
Accept-language: en-US
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=yale-nus.edu.sg; dmarc=pass action=none header.from=yale-nus.edu.sg; dkim=pass header.d=yale-nus.edu.sg; 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=0my77f+SLJZ8eog/zsRiHGtXJ2SrysjnORNfwdNY8wM=; b=D5J7dB7cLsv0a2ivwfrW2mo0KdbFOEsiTB+WFMSfCx6SqmhH9MJFTqnJvKS+1d3aKk8q6P06tfENhDXM2aKmFpMpXLK16dYK4lcjfoLPcBTOJo7MESBKsQ8xZMxzLjgn8t++zDEKnoGhv68pGZSZBxZYRDx4A65k9kXi7ykcfT1S2WqysZphe454MtM3GnYpRJ6zCW/Cs91FO2TfNKWT9ghwwbcQC6NafSj68IXRMEiuG7nRxwYcnFe7e9xDtlF2HOP4dMU7M8a26lAYSIDKBaSqg8RYEZQoTxUPoq26Hia2+dAfLem1NRglANfyh3Rx58iaeZIhUUxr3WibvlBmJA==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Qf3Tia8qxXwOVS4ooA3KS6W+/CkTBXuU9wwrLqW7R/X7BGubP6Is1wmuteRUiXPeKxIpL/6smyv5BZw3DEhj0mcZLQTLXpYAfNYUaTxmomK8NQUGPvf6E2SWE1+Ppa/eWngUelJHXGMTToFsBNqzoyzFGqhoiB7ZPhVLwx3iUI0dSspLBFkXVIb0VOXRYRr6pl2U6FedVvaJ7dA5ogw5Za3dlE1RgVXY4qThMi45YSl1r2RD6QCPLBLjlD1k86q45Xic7f1n7cNq1mlatUlmL8NgwM5yKOsE++wrNx74zR9Q9f2bMxSNFxHmVBVf2QPgci+y+OaO4TA/LoiSfKgQcw==
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=ilya.sergey AT yale-nus.edu.sg; spf=Pass smtp.mailfrom=ilya.sergey AT yale-nus.edu.sg; spf=None smtp.helo=postmaster AT mx0b-0017ee01.pphosted.com
Ironport-phdr: 9a23:2nqZLBXQgTLL9z95bGW+haOG+/DV8LGtZVwlr6E/grcLSJyIuqrYZRSFvKdThVPEFb/W9+hDw7KP9fy5AipevN3Y6CtKWacPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3wOgVvO+v6BJPZgdip2OCu4Z3TZBhDiCagbb9oIxi6sAvcutMXjIZiJao91wfFr3VVcOlK2G1kIk6ekQzh7cmq5p5j9CpQu/Ml98FeVKjxYro1Q79FAjk4Km45/MLkuwXNQguJ/XscT34ZkgFUDAjf7RH1RYn+vy3nvedgwiaaPMn2TbcpWTS+6qpgVRHlhDsbOzM/7WrakdJ7gr5Frx29phx/24/Ub5+TNPpiZaPWYNcWSXNcUspNSyBNB4WxYIwSAeocJuZYt5fyqEcSrRWwAgmsAfngyj5OhnTr2aE33OAsHQTA0Qc9HdwBrW7Uoc31OqkMTO610KfGwzbCb/xK1jjw85LHfgwkofyWQb58bdTdxE8yHA3FlFWQronlMiub2uoQrWeb9eVgWvyvimI/tgp/oTyvx8c2hYXHm4kYzVHE9SF5wYkvP9G4U1B0YcSrEJROtyCXLIt3TdkmQ252oSo6zKAGuYWhcCcU1Zsn2gTTa+eIc4WR5B/oSeifITB9hH1/ebK/gQ6/8Uehyu3gVsm0zU1FojBEktnLsH0Gyh/d6tCfR/Z8/EqtwyiD2g7O5u1ePEw5mq7WJ4Q/zrIujpYesFrPEjXolEj1lqOaa0cp9+uy5+j6bbjqvpGcOJF3hw3iN6kjn8K/DOAiPQUAWmWb9+Sx2b3m8EHkXrpHgf87n6zdvZ3YK8kUu6i0CBJP3Ik58RawFTKm3cwYnXYZKFJFfwqKj43mOl3SO//0FOuzj0ixnDpp2f/JIKHtDojXInjbiLfhfbF961VAyAUt0N9T/Y5bCrYEIP7rW0/xssLXDgMhPgG1wevrEstx240DVW6VH6OUP6ffvUWW6u4xO+WMYZUauDf5K/gr/f7uino5lEccfamt3ZoYcmq0Hu94LEWDbnrjnNcAHHwKvwUkSOzllkSOUThOZ3apRa4z+Cw0CJ+8AYfYSYChmKaB0zujHp1KemBGDUiBHmvvd4WdQvsDdCaSItJ6nTEfTrigS4oh1Qm0uwPgyrpnKPDU+iwCup752th1/b6bqRZnzgdOAsqZ3mqRB2R9n2cJQTB+2KFkvQQp0UyZ3KZ8jvdEPdlI/bZIVB07PNjdyfZ7Apb8QFSFNp2CT0/jSdG7CxkwSMgwypkAeQw1T96ll1XI2zegK74Tjb2CQpIupPHyxX/0coxGxmzJ2bhlx3giU8IFfTmngr92sRPeHYHEgm2InqKnMKIBx2jA+HrF1mXY7xIQaxJ5TaiQBSNXXUDRt9msox6bFuP8OfEcKgJEjPW6BO5ScNSw0gdXTfPufdLDeCS8l3r2HhnanurdPrqvQH0U2WDmMGZBlgkS+XicMg1nWXWwqmbTSTpzDhTib16q6uYs8SrmHH9x9BmDagha75Tw+hMRgqbMGfYDhrhB4H949Dh5RA/7x8rWDMGcqgYnd6JZM4sw

Greetings all,

I have several postdoc positions available in my group at School of Computing of National University of Singapore in the new project CertiChain, funded by NSOE-TSS. The positions are initially for two years with a possibility of extension.

The CertiChain project focuses on mechanising safety, liveness, and probabilistic security properties of distributed protocols, with a specific focus on Nakamoto-style consensus. I am looking for motivated candidates with a strong, internationally competitive research track record and research expertise in:

- distributed systems and consensus protocols

- formal verification using program logics

- mechanised proofs and proof automation

More details on the project can be found by the link below:

https://certichain.github.io

The NUS School of Computing is one of the world-leading departments in the areas of programming languages, software engineering, distributed systems, security and privacy. It provides a diverse and welcoming environment. Salaries at NUS are internationally competitive.

Do not hesitate to get in touch with me if you are interested.

Kind regards,

Ilya

Important: This email is confidential and may be privileged. If you are not the intended recipient, please delete it and notify us immediately; you should not copy or use it for any purpose, nor disclose its contents to any other person. Thank you.

[Coq-Club] Postdoc positions in CertiChain project, Sergey, Ilya, 10/11/2019