[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] [qest-announce] Four positions on ERC VERIWARE project atOxford



[Apologies for multiple postings]

Two Grade 7 postdoctoral positions, initially for 3 years
http://www.comlab.ox.ac.uk/news/185-full.html

Two doctoral studentships for 3.5 years
http://www.comlab.ox.ac.uk/news/183-full.html

Deadline for applications **early May 2010***

Professor Marta Kwiatkowska from the Oxford University Computing 
Laboratory (OUCL) has been awarded a five year ERC Advanced Investigator 
Grant for the project "VERIWARE: From software verification to everyware 
verification", to start on 1 May 2010. The goal of this project is the 
development of theoretical foundations and automated verification 
techniques for ‘everyware', i.e. sensor-based ubiquitous computing 
devices. In the context of this project, OUCL has openings for two 
doctoral and two post-doctoral research positions.

See http://www.veriware.org/docs/Veriware.pdf for a non-technical 
description.

The project covers a broad range of topics including the following: 
models for ubiquitous computing devices; abstraction, refinement and 
synthesis; software verification; probabilistic verification; 
quantitative verification for resource-constrained systems; online 
verification techniques, e.g. those based on machine learning or 
statistical inference; verification algorithms for agent-based 
cooperation and negotiation; and applications. The focus will be on 
developing theoretical foundations, algorithms, implementation 
techniques and prototype software tools.

The VERIWARE team will be led by Professor Kwiatkowska and will include 
Dr David Parker, as well as the two postdoctoral researchers and two 
doctoral students advertised here.

For more information on requirements for the posts, selection criteria 
and how to apply please see URLs below:

Two Grade 7 postdoctoral positions, initially for 3 years
http://www.comlab.ox.ac.uk/news/185-full.html

Two doctoral studentships for 3.5 years
http://www.comlab.ox.ac.uk/news/183-full.html

Deadline for applications **early May 2010***

-- 
Professor Marta Kwiatkowska
Fellow of Trinity College
Director of Graduate Studies

Oxford University Computing Laboratory
Wolfson Building, Parks Road
Oxford, OX1 3QD

Tel: +44 (0)1865 283509 (office)
Email: Marta.Kwiatkowska@comlab.ox.ac.uk
URL: http://web.comlab.ox.ac.uk/people/Marta.Kwiatkowska/
_______________________________________________
qest-announce mailing list
qest-announce@iti.uiuc.edu
http://mailman.crhc.uiuc.edu/mailman/listinfo/qest-announce