Postdoc Position on Global Computing Project


The Programming Languages and Models Group
of the Department of Informatics (http://www.di.fct.unl.pt) at the
Faculty of Sciences and Technology of the New University of Lisbon
(http://www.fct.unl.pt), is seeking candidates for a post-doc
position, starting January 2004 and lasting up to one year.

The position is opened in the context of the Profundis project, funded
by the European Commission under the FET Global Computing
(http://www.cordis.lu/ist/fetgc-sy.htm) initiative.  The objective of
Profundis is to advance the state of the art of formal modeling and
verification techniques to the point where key issues in mobile
distributed systems (eg. security protocols, resource management) can
be treated rigorously and with considerable automatic support.
Profundis partners are KTH of Sweden, INRIA, University of Pisa, and
New University of Lisbon. More information on Profundis can be found
at "http://www.it.uu.se/profundis/".

Work to be developed at the Lisbon site for will focus on the
development of specification logics and tools for mobile and
distributed concurrent systems, with a focus on spatial properties
of systems. Local team members include Luis Monteiro
(http://www.di.fct.unl.pt/~lm), Luis Caires
(http://www.di.fct.unl.pt/~lcaires) and Antonio Ravara

Candidates are expected to present a solid background in some of the
following topics:

  process calculi and logics,
  operational techniques in semantics,
  formal verification,
  foundations of concurrent and distributed systems,

Applicants should hold a Ph.D. degree in Computer Science or
equivalent, and justified expertise on the project themes.
Applications should include:

  a curriculum vitae,
  a statement of the relevance of their background to the project,
  URL references for any relevant publications.

For more details please send email to

Luis Monteiro

Luis Caires