coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] postdoctoral associate position on formal verification of security, based in London
Chronological Thread
- From: Andrei Popescu <A.Popescu AT mdx.ac.uk>
- To: "fom AT cs.nyu.edu" <fom AT cs.nyu.edu>, "coq-club AT inria.fr" <coq-club AT inria.fr>, "pvs-announce AT csl.sri.com" <pvs-announce AT csl.sri.com>, "types-announce AT lists.seas.upenn.edu" <types-announce AT lists.seas.upenn.edu>
- Subject: [Coq-Club] postdoctoral associate position on formal verification of security, based in London
- Date: Tue, 28 Jun 2016 13:37:52 +0000
- Accept-language: en-GB, en-US
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=A.Popescu AT mdx.ac.uk; spf=Neutral smtp.mailfrom=A.Popescu AT mdx.ac.uk; spf=Pass smtp.helo=postmaster AT emea01-db3-obe.outbound.protection.outlook.com
- Ironport-phdr: 9a23:zwZbThZ2yx3pKKnIRiNJQJr/LSx+4OfEezUN459isYplN5qZo866bnLW6fgltlLVR4KTs6sC0LuO9fm7EjJaqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ3pzxjrv5pcebSj4LrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGwD884mooROVqDSdL9+S61FSjkqLip9sMPssDHIVk2J92ZaX2kLxF4ASQPC9VTxWor7mir8rOt0nieAd4WiRrctHD+m8q1DSRnyiS5BOSRvtCmdktJryatdphW8oRdy64XPZMeOLvs4daTYN5tOXXRaG89XUStcBIixR4AUC6waJ+cepI748R9G5wevHQS3QerpzDhVgHT79ak7yPg6VxrL1RdmAsoDtnKSodnofu9GTfGtwbKNxDPFaO5Q0jrV7InTbgtnuvyFRvRtacfXzw8iGx6T3XuKromwFjWZzOkM+1Cc9+d7Xv/n30dhkwZpryOk2+8phpmPj4lT11OSpnYx+5o8OdDtEB0zWtWjCpYF7yw=
- Spamdiagnosticmetadata: NSPM
- Spamdiagnosticoutput: 1:99
Greetings,
I am hiring a postdoctoral associate for 14 months on a project having the following goals:
(1) Develop an expressive, compositional and quasi-automated framework for information flow security of web-based systems.
(2) Use this framework to produce the world's first feature-rich and security-verified social media platform, in collaboration with an industrial partner:
https://www.globalnoticeboard.com
The position is based at the Middlesex University London, and offers a competitive salary. Please contact me if: you are interested, have a PhD, and have expertise in proof assistant technology. Experience with Isabelle/HOL is a plus. For informal inquiries
about the position, I can also be contacted while at IJCAR 2016 in Coimbra or ITP 2016 in Nancy.
For some background on the kind of verification I have in mind, see the following papers and verified systems:
Andrei
- [Coq-Club] postdoctoral associate position on formal verification of security, based in London, Andrei Popescu, 06/28/2016
Archive powered by MHonArc 2.6.18.