------------------------------------------------------------------------
[EMAIL PROTECTED]: To unsubscribe, read the info at the bottom of this message.
------------------------------------------------------------------------
VACANCY: RESEARCH ASSOCIATE IN
VERIFICATION OF MULTI-AGENT SYSTEMS
Department of Computer Science, Durham University, UK
=====================================================
Applications are invited for the position of research associate working
on an EPSRC-funded research project entitled "Model Checking Agent
Programming Languages". The project aims at developing sophisticated
techniques for verification of multi-agent systems implemented in
agent-oriented programming languages. It will be carried out in close
collaboration with the University of Liverpool, UK.
Candidates should have, or be soon to receive, a PhD in Computer Science
or Artificial Intelligence. Research experience in multi-agent systems
(ideally agent programming languages) or formal verification (ideally
model checking) is desirable.
Informal enquiries to Dr. Rafael Bordini ([EMAIL PROTECTED]).
Also, see http://www.csc.liv.ac.uk/~michael/mcapl06.html for further
information about this joint project.
The post is available for 30 months. The initial salary is £24,352 p.a.
Closing date: 1st July 2006. Please quote reference number: 1391
Further details of the post and an application form are available at
https://jobs.dur.ac.uk or telephone +44 191 334 6499, fax +44 191 334 6495.
------------------------------------------------------------------------
This e-mail was delivered to you by [EMAIL PROTECTED], what is a
moderated list run by Computational Intelligence Group of Clausthal
University of Technology, Germany. All event announcements sent through
this list are also listed in our conference planner at
http://cig.in.tu-clausthal.de/index.php?id=planner.
In the case of any requests, questions, or comments, do not hesitate and
contact [EMAIL PROTECTED] ASAP.
If you want to unsubscribe from this list, please visit
http://www2.in.tu-clausthal.de/mailman/listinfo/event, or send an e-mail
with a subject unsubscribe to [EMAIL PROTECTED]
If you experience problems with your unsubscription, do not hesitate
and contact the list administrator at [EMAIL PROTECTED]
******************************************************
* CIG does not take any responsibility for validity *
* of content of messages sent through this list. *
******************************************************
Computational Intelligence Group
Department of Computer Science
Clausthal University of Technology
Germany
http://cig.in.tu-clausthal.de/
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
