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 […]
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 […]
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 and formal methods,
while the […]
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 systems programming
To learn more about the work at Laboratoire […]