Post-doc scholarship at the University of Lisbon

The Laboratory for Computational Models and Architectures (LabMAC) of
the University of Lisbon in Portugal has a post-doc scholarship for 2
years.

The scholarship belongs to a project of the Software Engineering group
of LabMAC, which has been developping since 1995 a formal approach to
describe software architectures for open, reactive, and reconfigurable
systems. The approach is based on a categorical methodology and on a
program design language inspired by Unity and Interacting Processes. The
work done so far is described in international conference and journal
papers, which can be obtained from http://www.fiadeiro.org/jose/papers.

The post-doc will participate in the theoretical research and in the
Java implementation of a workbench that supports this approach. The
aspects on which the post-doc will focus are: operations to construct
connectors, architectural reconfiguration using graph rewriting,
verification of properties using temporal logic, model checking or other
techniques to be investigated.

The scholarship amount is about 1350 Euro per month (tax-free) and may
be complemented, without any limitation, with income from teaching or
R&D activities, subject to available opportunities and the post-doc's
interests. The project includes funding for the postdoc's missions and
equipment, and for consultants to be chosen by the post-doc.

Candidates may apply from May 1st to May 15, and should send a full CV
to the head of the project, to whom additional information may be
requested:

Prof. Doutor Jos=E9 Luiz Fiadeiro
Departamento de Inform=3DE1tica, Faculdade de Ci=EAncias, Universidade =
de
Lisboa
Campo Grande, 1700 Lisboa, Portugal
E-mail: jose@fiadeiro.org