[Maude-users] Postdoc Position at Queen's University in Foundations of MDD

[Juergen Dingel]

[We are particularly interested in applicants with a background 
in "executable" formal notations such as rewrite logic and Maude -- JD]

POSTDOC POSITION (2 years): "Foundations of MDD with UML"
within the Applied Formal Methods Group at Queen's University in
Kingston, Ontario, Canada.

INTRO
Qualified applicants are being sought for a postdoc position at
the School of Computing at Queen's University.  The theory and practise 
of Model-Driven Development (MDD) has received a lot of attention in 
industry and academia recently. Despite many successes, a better 
understanding of the foundations of MDD is needed to be able to 
reap more of the benefits of MDD.

LOCATION
The Applied Formal Methods (AFM) group is part of the Software
Technology Lab (STL) at the School of Computing.  The School of
Computing is one the premier Computing departments in Canada with
about 25 faculty and close to 150 graduate students.  It has
international renown for its research in Biomedical Computing,
Human-Computing Interaction, Data bases, Theory, Document Recognition,
and Software Engineering. The Software Technology Lab is run jointly
by professors Jim Cordy, David Lamb, Nick Graham, Mohammad Zulkernine,
Juergen Dingel, Jenny Zhu, and Tom Dean.

The AFM group, led by Juergen Dingel, is responsible for education and
research in the area of formal methods and supporting software
tools. It has internationally recognized competence in formal
specification, verification, and analysis of concurrent and
event-based systems. The group has intensive collaborations with other
universities and industry, both at the national and international
level.

JOB DESCRIPTION
The postdoc position arises in the context of the recently formed
Centre of Excellence for Research in Adaptive Systems (CERAS).  CERAS
is an collaborative virtual organization based in Ontario, Canada,
devoted to the exploration of methods and techniques that will enable
the delivery of software and computing resources on demand and on time
and with less operational effort.  Current participants include the
Ontario Centres of Excellence, IBM, the Ontario Cancer Institute,
Carleton University, Queen's University, University of Toronto,
University of Waterloo, University of Western Ontario, York
University, North Carolina State University, and Universitat
Politecnica de Catalunya.  More information on CERAS can be found at
http://money.cnn.com/news/newsfeeds/articles/marketwire/0319050.htm
and 
https://www.cs.uwaterloo.ca/twiki/view/CERAS

Within CERAS, the goal of the Queen's project is to investigate and
improve the foundations of MDD using UML.  Of particular interest is
the development of a comprehensive formal model of behaviour in UML
and supporting tools. 

The successful candidate will have a PhD in Computer Science or
comparable qualifications and have research experience with
publications in relevant international journals and conferences in at
least two of the following areas: formal methods, semantics, and
modeling of software systems.  Applicants with a background in
"executable" semantics formalisms such as Abstract State Machines,
Rewrite Logic (as realized, e.g., in the Maude system) or synchronous
languages (e.g., Lustre) are particularly encouraged to apply.
Moreover, very good communication skills and willingness to work in a
team are required.

STARTING DATE
January 1, 2008 or shortly thereafter.

SALARY
CAN$35,000 (1 CAN$ roughly equals 1 US$ at the moment)

DURATION
2 years

MORE INFORMATION AND APPLICATION 
More information about the position is available from 
Dr. Juergen Dingel, dingel at cs.queensu.ca.
Applications are invited by e-mail before November 30, 2007.  
The application should consist of a cover letter, a curriculum 
vitae (including detailed information regarding your academic 
degree, research projects and publications) and the names and 
full addresses (including email addresses and telephone numbers)
of three references.