From: Juergen Dingel (email@example.com)
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.