PhD position

Uppsala universitet / Datajobb / Uppsala
Observera att sista ansökningsdag har passerat.

Visa alla datajobb i Uppsala, Östhammar, Sigtuna, Österåker, Håbo eller i hela Sverige
Visa alla jobb hos Uppsala universitet i Uppsala, Upplands Väsby, Gävle, Gotland eller i hela Sverige

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. Bengt Jonsson, bengt.jonsson@it.uu.se .

Publiceringsdatum
2009-12-21

Arbetstider och omfattning
Visstidsanställning 6 månader eller längre
Heltid

Ersättning
Fast lön

Så ansöker du
You are welcome to submit your application no later than 11 January, 2010. Use this link to access the application form
Ansökan sker via företagets webbplats.

Facklig kontakt
Anders Grundström, SACO-rådet, tel. 018-4715380
Carin Söderhäll, TCO/ST, tel. 018-4711996
Stefan Djurström, SEKO, tel. 018-4713315

Företag
Uppsala universitet

Adress
Uppsala universitet
Box 256
75105 UPPSALA

Kontaktuppgifter
Telefonnummer: 018-4710000
Faxnummer: 018-4712000

Jobbnummer
556608

Observera att sista ansökningsdag har passerat.

PhD position

Prenumerera på jobb från Uppsala universitet