PhD programmmes
at the Unit of Logic and
Computation
of the Department of
Mathematics of IST:
 The Unit welcomes postgraduate students for
working towards either of the following degrees:
 Both degrees are
awarded by Universidade de
Lisboa via IST
(Instituto Superior Técnico).
 The Unit helps candidates in applying for a scholarship. Candidates of outstanding merit have a good chance independently of the country of origin.
 The research activities of the Unit are mostly carried out within the Security and Quantum Information Group
and the Physics of Information and Quantum Technologies Group
at Instituto de Telecomunicações,
as well as in the
Mathematical Logic Group
at the Center for Mathematics, Fundamental Applications and Operations Research.
These research groups provide rich environments for PhD
students, namely thanks to intensive guest programs,
frequent openings for postdoc positions,
regular seminars,
focused research projects,
and rich tracks of publications.
 Postgraduate students have free access to the central Library of the
Department which subscribes to the most significant journals in Logic
and Computation, as well as in other branches of Mathematics.
 Current Faculty members
of the Unit have a significant
track of successful PhD students.
In the past, most of these students have been Portuguese nationals,
but the Unit is now actively attracting students from abroad.
Concerning the
PhD degree in Mathematics (Logic and Computation), the following rules apply:
 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.

Scholarships are available via the
Lisbon Mathematics Doctoral Programme.
The regulations for the PhD degree in
Information Security are slightly different:
 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 nonPortuguese 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.

Scholarships are available via the Doctoral Programme in
Physics and Mathematics of Information.
For further information contact the Unit
Coordinator.
Last update: February 13, 2016.