PhD studentships - Trinity College Dublin[zz]

事实UID: 163475

发信人: getit (hunter), 信区: AdvancedEdu
标  题: PhD studentships   - Dublin
发信站: 瀚海星云 (2009年03月27日08:50:31 星期五), 站内信件 WWWPOST

he Foundations of Global Computing - Trinity College Dublin

                       Two PhD studentships



Applications are invited for two PhD studentships within the Software

Systems Lab of the Department of Computer Science. The positions are

part of a SFI-funded research project, under the direction of Matthew

Hennessy, which seeks to establish a firm mathematical and logical

basis for the next generation of widely distributed computing

environments.



  The research programme within the project is wide ranging in scope,

offering considerable flexibility to the successful candidates to

pursue particular research interests. These range from the design and

investigation of abstract calculi for describing the behaviour of

complex systems, the use of types to enforce security policies, to the

development of verification technologies for ensuring properties of

mobile agents.



Qualification requirements:



Applicants should have at least a good honours primary degree in

Computer Science or Mathematics, and have a proven aptitude in

discrete mathematics and the manipulation of formal systems.



Remuneration:



17,000 euros per annum, plus postgraduate fees, for three years,

starting in October 2009.



Application details:



Interested applicants should, in the first instance, send their CV to

the address below, together with a statement outlining their

suitability for the project and the names of two

referees. Applications by email are welcome.





Matthew Hennessy

Department of Computer Science

The O'Reilly Institute

Trinity College

Dublin 2, Ireland



email: matthew.hennessy@cs.tcd.ie

tel: +353 (01) 8962634

buaaacUID: 2159915

这个学校超级有钱，不知道为什么，很多ｆｕｎｄｉｎｇ