PhD position

Uppsala University hereby declares the following position to be open for application:

PhD position at the Department of Information Technology.Modeling and Testing Communication protocols using Automata Learning Techniques.UFV-PA 2009/3223.

Goal: The overall goal of this project is to develop techniques for generating models of communication protocol modules by observing how they respond to sequences of input messages, and for using such models to improve testing.Background: The Testing and Model Generation group at Uppsala University is developing techniques and tools to automate the generation of models of communication protocol modules, components of reactive systems, etc.One motivation is to automate the labour-intensive construction of models, which are needed in systematic testing and verification (e.g., in model based testing and model checking).Our main approach is to adapt techniques from regular inference (aka automata learning) so that they can deal with realistic implementations, e.g., of communication protocols.The work will be carried out in the context of the project CONNECT.We are collaborating with several research groups, including the group of Prof.Steffen at TU Dortmund, who are developing the LearnLib tool.More information at the project page http://www.it.uu.se/research/group/testing

Requirements: A PhD position requires a Master of Science in Computer Science, Computer Engineering, or equivalent in a field which is relevant for the topic of the PhD thesis.The position is for a maximum of five years and includes departmental duties at a level of at most 20% (typically teaching).The application should include a description of research interests and past experience, a CV, copies of exams, degrees and grades, a copy of Master thesis (or a draft thereof), relevant publications, and other relevant documents.Candidates are encouraged to provide letter(s) of recommendation and contact information to reference persons, as well as earliest feasible starting date of employment.

The department is striving to achieve a more equal gender balance and female candidates are particularly invited to apply.

For more information, see http://www.it.uu.se/ (the department) or contact: Prof.