Scholarships-Links : International Scholarships & Fellowships

Postdoc, PhD, Masters and Bachelors scholarships and fellowships for students and researchers.

Sweden : PhD position in Computer Science on Software Verification

PhD position in Computer Science

on Software Verification. UFV-PA 2009/3336

Short description: The work will be carried out within a project aimed at developing

techniques for software verification, in particular to handle the challenges in verification of concurrent software. The project will develop and combine techniques from model checking, program analysis, and testing, for verifying correctness and finding errors. Efforts that can be pursued include to use program analysis to guide testing to become more efficient, to analyze protocols in networks with a large number of nodes, to efficiently extract information from test logs, and to analyze complicated concurrent programs and algorithms.

The work largely be carried out both in the context of the UPMARC research center, as well as be supported by a new focus project support by VR (the Swedish Research Council). More information at project pages http://www.upmarc.se, http://www.it.uu.se/research/docs/fm/apv/, http://www.it.uu.se/research/group/testing.

Requirements: The candidate should have a Master of Science in Computer Science, Computer Engineering, or equivalent, in a field which is relevant for the work. It is helpful to have a good background in some of the fields program analysis, compiler techniques, formal techniques and logic, testing, software engineering, and similar, as well as to be proficient in implementing non-trivial algorithms. 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. Union representatives are: Anders Grundström, Saco-rådet, tel +46 18-471 5380, Carin Söderhäll, OFR-S/ST, tel +46 18-471 1996, Stefan Djurström, Seko, tel +46 18-471 3315.

You are welcome to submit your application no later than 20 January, 2010. Use the link below to access the application form
PhD position

Application Deadline : 20 January 2010

Homepage:

Contact Adress:

Contact Email:

Posted on 2010-01-10 01:21:56

The announced deadline for above scholarship is expired and new applications may no longer be accepted. The notice is available for reference purpose only.

Please give reference of Scholarships-Links.com when applying for above scholarship.

Go to Home Page, Subscribe in a Reader