Two positions of Visiting Professors and/or Invited Professors

Apologies if you receive this message more than once.

Group of Logic and Applications
Department of Informatica, University of Minho, Portugal

Two positions of Visiting Professors and/or Invited Professors

The Group of Logic and Applications is a recently created unit
of research and teaching in the general area of applications
of Logic. Its main areas of work are:
  * Theorem Provers
  * Semi-automatic Synthesis of Programs
  * Security Protocols
  * Cryptography
  * Formal VLSI Design
  * Hardware for Security

The group has a staff of 10 and is moving to brand new set of
rooms and laboratories in a recently finished building. Members
have access to the usual updated computational technology
(workstations, Unix servers, fast networks, ...).

The positions advertised are for a one year contracts with possibility
of renewal for further periods leading to a permanent position in the
University of Minho.

The group is looking for candidates holding a Ph,D. in the relevant
areas of Computer Science or Mathematics with emphasis in Logic.
It is expected that, six months after admission, the candidates will
be able to speak Portuguese.

Candidates should send a CV to

 Jose Manuel E. Valenca  <jmv@di.uminho.pt> [http://www.di.uminho.pt/~jmv] 
 Departamento de Informatica,  Universidade  do  Minho,  Campus de Gualtar 
 4700 Braga, Portugal. +351-53-604460/604471(fax)