[ The Types Forum (announcements only),
3 year postdoctoral research assistant position
The Predictable Assembly Laboratory
Department of Computer Science
Kingʼs College London
The Predictable Assembly Laboratory, lead by Iman Poernomo, is looking for a
postdoctoral research assistant to apply ideas from constructive program
(the proofs-as-programs paradigm) to improve the trustworthiness of Model Driven
Model Driven Architecture (MDA) is a methodology based on the Meta Object
(MOF) to develop software by means of successive refinements from abstract
models to concrete platform-specific models. The purpose is to promote a
clear demarcation of abstract architecture and implementation-specific issues.
MDA is the ability to define transformations as mappings between metamodels.
transformations are powerful, providing a systematic means of model refinement.
also dangerous: a single error in a transformation mapping can result in the
introduction of a range of errors in a resulting model.
The purpose of this postdoctoral position is to explore ways of solving this
formalisation of metamodels and model transformations within higher-order type
The starting point for this approach is the observation that MDA
essentially higher-order programs, transforming types (metamodels) into types.
The postdoctoral position is funded by a large UK EPSRC grant awarded to Dr.
at Kingʼs and Prof. John Derrick at the University of Sheffield to work on the
“Higher-order refinement techniques for Model Driven Architecture”. The
position will be
based in London with Dr. Poernomoʼs laboratory, but will involve close
Prof. Derrickʼs team at Sheffield.
The candidate should hold, or be near to completing, a PhD in Computer Science
background in formal methods. Preferably the candidate should have a background
higher-order type theory (for example, an understanding of the Calculus of
Constructions, Martin-Löf type theory, classical proofs-as-programs, logical
any of the Coq, ALF or Nuprl theorem provers). A background in the MOF, MDA or
OMG standards would be helpful, but is not necessary.
The salary will be on grade 6: £33,784 (approximately 53,365USD or 41,335Euro)
annum, inclusive of London allowance. There is an automatic annual increment of
approximately £1,343 and an annual pension contribution of £8,721.
For further information please contact Iman Poernomo at iman.poern...@kcl.ac.uk