coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Carsten Schürmann <carsten AT itu.dk>
- To: "types-announce AT lists.seas.upenn.edu" <types-announce AT lists.seas.upenn.edu>, "concurrency AT tue.nl" <concurrency AT tue.nl>, "hol-info AT lists.sourceforge.net" <hol-info AT lists.sourceforge.net>, "agda AT lists.chalmers.se" <agda AT lists.chalmers.se>, "isabelle-users AT cl.cam.ac.uk" <isabelle-users AT cl.cam.ac.uk>, Coq Club <coq-club AT inria.fr>
- Cc: carsten AT demtech.dk Carsten Schürmann <carsten AT demtech.dk>
- Subject: [Coq-Club] Open PhD Position at DemTech/IT University of Copenhagen
- Date: Wed, 4 Sep 2013 06:49:19 +0000
- Accept-language: en-US
Dear all,
I am looking for a PhD student to join the DemTech research project (www.demtech.dk). DemTech broad mission is about the role technology in democratic processes, and we work on topics ranging from software engineering
and requirements engineering, information security, and program verification, cryptography, but also logic methods, concurrency, and computational social choice. We work actively with and on proof assistants. The folks here at DemTech use Agda, Coq, Twelf,
and Celf. The successful candidate will join an international group consisting of faculty, post-docs, and PhD students. DemTech is working with many governmental institutions around the world. The position runs for three or four years. The application
deadline is
13th October 2013,
at 23:59 CET
Please note that this is a strict deadline. For more information and the place to submit your application to, please visit
I look forward to hearing from you.
Best regards,
- Carsten
- [Coq-Club] Open PhD Position at DemTech/IT University of Copenhagen, Carsten Schürmann, 09/04/2013
Archive powered by MHonArc 2.6.18.