- Doctoral Studentship

Tech
2013-09-07 02:00:24

Doctoral Studentship

Deadline

Value of Scholarship

Level of Study

Country Tenable

Renewable

Supervisor: Professor Daniel Kroening

Start Date: October 2014

The Verification Research Group is offering two fully funded D.Phil studentships in Oxford University's Department of Computer Science. Â One studentship is for home/eu students and one is for overseas .Â There will also be provision for some travel funds.Â The studentships will be funded for three years and will start in October 2014 although an earlier start date might be possible.

These positions are associated with the ERC project "Validation of Concurrent Software Across Abstraction Layers", led by Daniel Kroening. The goal of this project is the development of automated validation techniques for concurrent software at any level of abstraction. The project covers a broad range of topics including the following:

Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â â¢ Hadoop, map-reduce, distributed consistency

Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â â¢ shared-memory concurrency, including weak memory consistency

Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â â¢ automated software verification for C/C++/SystemC

Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â â¢ interrupt-driven embedded software

Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â â¢ new programming languages and type systems

The project will cover both theoretical foundations and the implementation of prototype software tools. Proposals for doctoral study in any of the above-mentioned topics relevant to the project are invited, including a clear statement of how they contribute to the project.Â Successful applicants will be working with a first class team.

We will consider students with strong applied engineering or theoretical skills.Â Candidates must also have good writing, communication, presentation, and organization skills. Applicants must in addition satisfy the usual requirements for studying for a doctorate at Oxford:

http://www.cs.ox.ac.uk/admissions/dphil/dphil-criteria.pdf

To express interest please email your c.v. and a statement of research interests to Julie.sheppard@cs.ox.ac.ukÂ Please also email if you have any questions about the studentship.

When applying for this studentship, please quote the following studentship code:

DK-ERC-WEB (if you are applying via the departmental website)

DK-ERC-JOBS (if you are applying via jobs.ac.uk)

DK-ERC-FIND (if you are applying via findaphd.com)

The closing date for applications is Â 22^nd November 2013.

Scholarships are not only for the smart students. Anyone can get scholarships

Spread the word to help others. Click share now!!

Important Tip!!

Apply to as many scholarships as possible.Present your letter if Intent clearly and you will surely get an institution that will be interested in your profile.