Post-doctoral positions

  • The Computer Science and Technology Center (Centro de Ciências e Tecnologias de Computação, CCTC) invites applications for a 3 year research position in the area of Software Foundations. Specific expertise is sought in applied semantics, software analysis and transformation, formal verification, provable security and theory of programming languages as well as eager interest in formal foundations and a strong aptitude for projects with real-world potential. (Application deadline: 30-09-2008; more information).

PhD Opportunities

MsC Opportunities