Post-doc position at FAST group, Univ. Minho, Portugal

The Computer Science and Technology Center at the University of Minho is looking to recruit a post-doc researcher to work in the Foundations and Applications of Software Technology (FAST) group.

The candidate is expected to work in one of the topics of interest of the group's researchers, which include applied semantics, software analysis and transformation, formal verification, and provable security. A strong aptitude for projects with real-world potential will be appreciated.

More information on the group's members and currently active projects can be consulted at http://fast.di.uminho.pt/.

This is a yearly renewable contract for up to 5 years. The application deadline is September 30. Full details can be obtained from the official announcement posted at http://www.eracareers.pt/opportunities/index.aspx?task=global&jobId=10993