From: Thomas Genet <genet@irisa.fr>
To: caml-list@inria.fr
Subject: Offre d'emploi a l'IRISA
Date: Mon, 5 Sep 2005 10:21:34 +0200 [thread overview]
Message-ID: <17180.14.784528.984684@kim.irisa.fr> (raw)
L'unité de Recherche INRIA de RENNES recrute sur contrat à durée
déterminée (appellation ingénieur expert) :
1 Ingénieur recherche & développement
Lieu de travail : INRIA-Rennes
Projet d'accueil : Lande
Début du contrat: entre le 1/09/05 et le 31/12/05
Durée du contrat : 12 mois
Formation requise : doctorat, DEA, DESS, M2R ou M2Pro en Informatique
Activité du Projet d'accueil: Le projet Lande est une équipe de
recherche qui s'intéresse à la vérification formelle de logiciels. En
particulier, Lande travaille en partenariat avec France Telecom R&D et
Thomson R&D sur la vérification de protocoles cryptographiques. Lande
développe une technique de vérification automatique, à l'état de
prototype, qui a déjà été appliquée avec succès à des protocoles
cryptographiques industriels.
Objectif du poste: A partir des techniques développées par l'équipe
Lande, l'objectif est de réaliser un outil complet, intégré et open
source pour la vérification de protocoles cryptographiques. Les
protocoles visés sont des protocoles de commerce électronique et de
diffusion de contenu video numérique. Ce travail sera réalisé en
collaboration avec France Telecom R&D et Thomson R&D.
Qualités requises:
- solide expérience dans le développement d'applications
complexes en Objective Caml.
- autonomie
- expérience du travail en équipe
- anglais courant
- des connaissances dans le domaine de la vérification et/ou des protocoles
cryptographiques seraient un plus
Contact: Thomas.Genet@irisa.fr (http:/www.irisa.fr/lande/genet)
Thomas.Jensen@irisa.fr (http:/www.irisa.fr/lande/jensen)
reply other threads:[~2005-09-05 8:21 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=17180.14.784528.984684@kim.irisa.fr \
--to=genet@irisa.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).