Candidates to the PhD program are assumed to hold an undergraduate
degree in Mathematics or in Theoretical Computer Science.
Acceptance into the program depends on the proven merit of the
candidate.

Each PhD student is required to complete up to six
courses until the end of the second year, depending on
previous background. Two courses must be chosen outside the Logic and
Computation
area. All available
courses
are held in English whenever a non Portuguese speaking student is
attending.

Before the end of the second year, each PhD student is required
to choose the supervisor and the topic of the dissertation.

Within five years of the choice of the topic, the PhD student is
required to submit the dissertation. The dissertation
must contain significant, original contributions to the area of Logic and Computation.
Along the way, PhD students are expected to publish in
international conferences and journals and fully participate in the
research activities of the Unit.

Candidates to the PhD program are assumed to hold an undergraduate
degree in Science or Engineering.
Acceptance into the program depends on the proven merit of the
candidate.

Each PhD student is required to complete up to eight courses. All available
courses are held in English whenever a non-Portuguese speaking student is
attending.

Before the end of the second year, each PhD student is required
to choose the supervisor and the topic of the dissertation.

Within three years of the choice of the topic, the PhD student is
required to submit the dissertation. The dissertation
must contain significant, original contributions to the area of
Information Security.
Along the way, PhD students are expected to publish in
international conferences and journals and fully participate in the
research activities of the Unit.