Saturday, April 3, 2010

[qest-announce] Four positions on ERC VERIWARE project at Oxford

[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