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

Further Information

Application Deadline : 20 January 2010

Download this Call as PDF

Contact Adress:

Contact Email:

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

Click here to report if you think this notice is not valid or violating copyrights. Not an Official Version. Terms Apply.

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

Related Scholarships

Norway : 2 PhD Positions in Color Imaging

Netherlands : 4 year PhD position in text mining for sentiment and reputation modeling

Spain : Call for fully funded Research Assistants at Institute IMDEA Networks

Sweden : 2 PhD students in Distributed (Grid and Cloud) Computing

Singapore : IMI PhD Scholarship Program

UK : Informatics International Master's Scholarships

South Korea : Two Graduate Research Scholarship Positions at the Mobile Computing Lab, Chosun University

Norway : 4 PhD positions as part of the Microsoft-led centre on Information Access Disruptions

Luxembourg : PhD Candidates in Software Engineering

Netherlands : PhD position on Process Mining

Sweden : Post-doc Stipend in Cloud Computing

Greece : Post-doc (ER) position in Signal Processing and Communications for the SMARTEN ITN project

Denmark : PhD Project in Methodologies for the Economic and Societal valuation of Wind, Energy Storage and Demand-Side Management