[TYPES/announce] Post-doc position at FAST group, Univ. Minho, Portugal

[Jorge Sousa Pinto]

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



Jorge Sousa Pinto
http://www.di.uminho.pt/~jsp/