[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Note:  Type theory is becoming  increasingly important in the theory  
of concurrency, and
in particular in it's application to distributed and mobile computing.  
For this reason
this announcement should be of interest to the Types Forum.

      The 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 new 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
computing environments.

  The proposed 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 a good honours primary degree in Computer Science
or Mathematics, and have a proven aptitude in discrete mathematics and
the manipulation of formal systems.


17,000 euros per annum, plus postgraduate fees, for three years,  
starting in October 2008.

Application details:

Interested applicants should, in the first instance, send their CV
to the address below, together with a statement outlining their  
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
tel: +353 (01) 8962634

Trinity College is an equal opportunities employer.

Reply via email to