coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club]5 years research position in software security in RCIS, Tokyo

From: David Nowak <david.nowak AT aist.go.jp>
To: Coq Club <coq-club AT pauillac.inria.fr>
Cc: Reynald Affeldt <reynald.affeldt AT aist.go.jp>
Subject: [Coq-Club]5 years research position in software security in RCIS, Tokyo
Date: Thu, 21 Sep 2006 20:46:12 +0900
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Dear all,

Applications are invited for a 5 years research position in software security at the Research Center for Information Security (RCIS) in Tokyo.

We are looking for candidates with a strong research background in formal security. Knowledge of Coq is particularly welcome.

Application DEADLINE: 13th October 2006
Appointment date: from 1st April 2007 to 31st March 2012

RCIS is part of the National Institute for Advanced Industrial Science end Technology (AIST, http://www.aist.go.jp/index_en.html).

Application procedure is described there:

  http://unit.aist.go.jp/humanres/cie/research_scientist.html

Please feel free to ask any question to:

* Reynald Affeldt

reynald.affeldt AT aist.go.jp
  http://staff.aist.go.jp/reynald.affeldt/

* David Nowak

david.nowak AT aist.go.jp
  http://staff.aist.go.jp/david.nowak/

Best regards,

--
Reynald Affeldt and David Nowak

[Coq-Club]5 years research position in software security in RCIS, Tokyo, David Nowak