Postdoc position at Queen's in UML semantics project

Date view Thread view Subject view Author view Attachment view

From: Juergen Dingel (
Date: Wed 25 Aug 2004 - 15:25:19 BST

within the Applied Formal Methods Group at Queen's University in
Kingston, Ontario, Canada.

Qualified applicants are being sought for a postdoc position at
Queen's University. The project deals with developing a formal
semantics for the core of UML2.0 and is jointly undertaken by IBM (in
Canada and Germany), the Technical University of Munich in Germany,
and Queen's University in Canada. The position is for somebody with 
background in semantics and formal methods. Given the growing 
importance of UML, the project is likely to have a real impact, 
so this is an exciting opportunity indeed.

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 100 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 recognised 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.

The postdoc position arises in the context of an international
research partnership funded by the Ontario Centre of Excellence
(formerly known as CITO), IBM Rational Software Kanata, IBM Germany,
and Technical University of Munich.  The goal of the partnership is to
develop a formal semantics foundation for the UML2.0 standard recently
approved by the Object Management Group (OMG). The purpose of the
semantics is to suggest improvements to the standard, to facilitate
the exchange of UML artifacts and to identify analysis techniques for
UML2.0 models.

The successful candiadate 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, 
modeling of software systems.  You enjoy working in a team and 
have good communication skills.

October 1, 2004 or shortly thereafter.

Commensurate with experience, but at least CAN$40,000.

2 years.

More information about the position is available from 
Dr. Juergen Dingel, dingel at
Applications are invited by e-mail before September 15, 2004.  
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.

Date view Thread view Subject view Author view Attachment view