[Concurrency] Postdoctoral position in security formal methods
ENGLISH BELOW
POSITION POST-DOCTORALE
Le Laboratoire de Recherches sur la S?curit? Informatique (LRSI) de l’Universit? du Qu?bec en Outaouais sollicite des candidatures pour un poste de chercheur post-doctoral dans le cadre d’un projet subventionn? conjointement par le CRSNG et CA Inc.
Titre du projet de recherche : Methods and tools for the design, validation, implementation, and testing of security policies
Direction Scientifique : Profs. Kamel Adi et Luigi Logrippo
Int?r?ts de recherche reli?s : M?thodes formelles en s?curit? et g?nie logiciel, logique, th?orie des types, alg?bres de processus, protection de la vie priv?e, application pratique des m?thodes de s?curit? dans contextes d’entreprise.
Exigences scolaires : avoir soumis ou soutenu une th?se de doctorat en informatique ou sujet reli?.
Langues : familiarit? avec le fran?ais et l’anglais (parl?s et ?crits).
Dur?e : un an, renouvelable.
Traitement : 35,000$ Canadian
Site web du LRSI (en cours de d?veloppement) : www.lrsi.uqo.ca (la version la plus ? jour de cette annonce sera affich?e dans ce site).
Date limite de soumission des candidatures : 17 ao?t 2008
Date d’entr?e en fonction : mi-septembre 2008 ou n?gociable.
Modalit? de soumission candidatures : soumettre par courriel ? ptits@uqo.ca votre CV de recherche avec les coordonn?es de trois r?f?rences.
Situation g?ographique : l’UQO se trouve dans la R?gion de Gatineau-Ottawa, la r?gion de la Capitale Nationale du Canada. Cette r?gion, qui compte trois universit?s avec programmes en informatique, est riche en possibilit?s de d?veloppement professionnel, pour les sports et pour la culture. Le co?t de la vie dans la r?gion est plus mod?r? que dans les grandes villes de l’Am?rique du Nord ou de l’Europe. L’adresse de notre laboratoire est : Pavillon Louis-Brault, 101 Saint-Jean Bosco, Gatineau, Qu?bec, Canada J8X 3X7.
POST-DOCTORAL POSITION
The Information Security Research Laboratory (LRSI) of the Universit? du Qu?bec en Outaouais seeks candidates for a post-doctoral position jointly funded by NSERC and CA Inc.
Title of research project: Methods and tools for the design, validation, implementation, and testing of security policies
Scientific direction: Profs. Kamel Adi and Luigi Logrippo
Related research interests : Formal methods in software engineering and security, logic, type theory, process algebras, privacy, practical applications of security methods in enterprise contexts.
Doctoral status: Having submitted or successfully defended a doctoral thesis in computer science or a related subject.
Languages required: French and English, written and spoken.
Duration: one year, renewable.
Salary: Canadian $35,000/year
LRSI Web site (under construction): www.lrsi.uqo.ca (the most uptodate version of this announcement will be on this site).
Submission deadline: August 17, 2008
Starting date: mid-September 2008 (negotiable)
Submission by email to the following address: ptits@uqo.ca. Please submit your academic CV and the names of three referees.
Geographical position: The UQO is in the National Capital Region of Canada, Gatineau-Ottawa. This region is the home of three universities with computer science programs and offers ample possibilities for professional development, in addition to sports and culture. Cost of living is moderate with respect to larger cities in North America or Europe. The address of the LRSI lab is : Pavillon Louis-Brault, 101 Saint-Jean Bosco, Gatineau, Qu?bec, Canada J8X 3X7.
Avis de confidentialit?
L’information contenue dans cette communication est strictement r?serv?e ? l’usage de l’individu auquel elle est destin?e et peut contenir des informations confidentielles. L’usage de cette information par tout individu autre que la personne d?sign?e, y compris sa distribution, sa reproduction ou sa divulgation est strictement interdit. Si vous avez re?u cette communication par erreur, veuillez en informer imm?diatement l’exp?diteur de ce message par retour de courrier ?lectronique, et veuillez supprimer le pr?sent message et d?truire imm?diatement toutes les copies de ce document.
_______________________________________________
Concurrency mailing list
Concurrency@listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency