Postdoc position at Queen's in UML semantics project



Date view Thread view Subject view Author view Attachment view

From: Juergen Dingel (dingel@cs.queensu.ca)
Date: Wed 25 Aug 2004 - 15:25:19 BST


POSTDOC POSITION (2years): UML2.0 SEMANTICS 
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
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.

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

JOB DESCRIPTION
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.

STARTING DATE
October 1, 2004 or shortly thereafter.

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

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 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