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.
No comments:
Post a Comment