coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] 5 Yr Research position

From: Neil Ghani <neil.ghani AT strath.ac.uk>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] 5 Yr Research position
Date: Sun, 18 Oct 2015 10:20:29 +0000
Accept-language: en-GB, en-US
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=neil.ghani AT strath.ac.uk; spf=None smtp.mailfrom=neil.ghani AT strath.ac.uk; spf=None smtp.helo=postmaster AT img2.mail.strath.ac.uk
Ironport-phdr: 9a23:BOv+DBNT5IW9dea02Wol6mtUPXoX/o7sNwtQ0KIMzox0KPnyrarrMEGX3/hxlliBBdydsKIYzbuK+Pq8EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35jxhrz5ocGbSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6Lpyv/JHBO/xeL19RrhFBhwnNXo07Yvlr1OLGQCI/z4XVngcuhtOGQnMqh/gCMTfqCz/48xw2S3SEs3/S7F8DTKv7qMtRx/hjiYvLCIj+X3XzMV7yr9Y9kHy7ydjypLZNdnGfMF1ebnQKIsX

Hi All

We have some nice positions being advertised

http://www.strath.ac.uk/workwithus/fellowship/

If anyone is interested, please do get in touch. I’d be particularly
interested in people having done software verification projects.

cheers
neil

[Coq-Club] 5 Yr Research position, Neil Ghani, 10/18/2015