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, [...]
A full professorship in the area of Mathematical Computer Science is available at the Department of Computer Science (www.daimi.au.dk), starting November 1, 2008. Deadline: August 12, 2008, at 12,00 noon. See full announcement at: http://www.daimi.au.dk/frontpage/open-positions
______________________________________________________________ Call for Participation Fifth International Conference on Computability and Complexity in Analysis 2008 (CCA 2008) Held in Honor of Klaus Weihrauch’s 65th Birthday August 21-24, 2008, Hagen, Germany Early registration deadline: July 14, 2008 ______________________________________________________________ Invited Speakers * Andrej Bauer (Ljubljana, Slovenia) * Douglas Bridges (Christchurch, New Zealand) * Martin Escardo (Birmingham, UK) * [...]
JOB OPPORTUNITY at the Knowledge Representation and Reasoning Group headed by Prof. Hölldobler at the Faculty of Computer Science of the Technische Universität Dresden, Germany. The group (www.wv.inf.tu-dresden.de/) coordinates the “European Master’s Program in Computational Logic” (european.computational-logic.org/) and manages the “International Center for Computational Logic” (www.computational-logic.org/index.php). The group’s research orientation is strongly based on logic [...]
The L3I laboratory in La Rochelle offers a 9 month post-doc position in computer science and agent modeling. Candidate will be integrated in ImagIN team. Candidates should have strong skills in at least one of the following fields: – MAS programming – MAS design – formal models and Model cheking – IDM technics – Interactive [...]