Scholarships-Links : International Scholarships & Fellowships

Postdoctoral, Phd, Masters and Bachelors scholarships and fellowships for students all around the world.

Advertisement and Banner services
Scholarships Links
More Scholarships
Scholarship Areas
Phd Scholarship

Receive Scholarships on email

Subscribe to Scholarships-Links feeds
Scholarships-Links.com Subscribers

Sweden : PhD position in Computer Science on Software Verification

Uppsala University hereby declares the following position to be open for application:

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

Tentative Application Deadline : 20 January 2010

Homepage:

Contact Adress:

Contact Email:

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

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

The announced deadline for above scholarships is expired. The notice is available for reference purpose only.

Never miss a opportunity, Receive Scholarships in your email

Go to Home Page, Subscribe in a Reader Subscribe to Scholarships-Links feeds Bookmark and Share