Sweden : PhD Position in SMT Reasoning and Embedded Systems Analysis

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

PhD Position in SMT Reasoning and Embedded Systems Analysis

at the Department of Information Technology, Division of Computer Systems.

The position will be within the Embedded Systems Group at the Department of Information Technology. Research will be conducted in collaboration with the Algorithmic Program Verification group at the same department.

The Department of Information Technology has a leading position in research as well as teaching at all levels. The Department has about 200 employees, including 80 senior faculty and 80 PhD students. More than 3000 students are enrolled in one or more courses annually. More info: www.it.uu.se.

Description of the subject area: SAT and SMT solvers form the backbone of many of today's verification systems, responsible for proving correctness properties of hardware and software designs, computing concise counterexamples illustrating defects in designs, or refining abstractions used during analysis. To enable such applications, solvers implement highly efficient and optimised algorithms to answer questions formulated in a logical setting, most importantly the question whether a set of constraints (a formula) is satisfiable, as well as the computation of Craig interpolantsfrom unsatisfiable constraints.

The announced PhD position is on the development, improvement, implementation, and application of SMT techniques for logical theories relevant for embedded systems analysis, in particular the theory of floating-point arithmetic, but possibly also other related domains. Handling floating-point arithmetic in SMT has proven to be challenging, but has increasingly received attention over the last years, due to its importance in areas such as safety-critical embedded software. Since practical solutions are applicable for a variety of methods, including automated test-case generation and model checking, developed techniques promise to significantly reduce the time and cost associated with the development of high-integrity software involving floating-point computations.

Qualifications required: The candidates should have a Master of Science in Computer Science, Computer Engineering, or equivalent. Experience in logic, automated reasoning, SMT, verification, and embedded systems are desirable, as are good implementation skills.
The position is for a maximum of five years and includes departmental duties at a level of at most 20% (typically teaching). You will be expected to teach in Swedish or English. Excellent skills in spoken and written English are an absolute requirement.

The application should include a description of research interests and past experience, a CV, degrees and grades, a copy of Master thesis (or a draft thereof), relevant publications, and other relevant documents. Candidates are encouraged to include a description of themselves as well as reasons for wanting to become a PhD student. In addition, letter(s) of recommendation and contact information to reference persons, as well as earliest feasible starting date of employment should be provided.

Information about the position can be given by Dr Philipp Rümmer, tel +46 768 531787. Representatives of the trade unio

ns are: Anders Grundström, SACO-rådet, tel 018-471 5380, Carin Söderhäll, TCO/ST, tel 018-471 1996, Stefan Djurström, SEKO, tel 018-471 3315.

The department is striving to achieve a more equal gender balance and female candidates are particularly invited to apply

You are welcome to submit your application no later than 28 February, 2012, UFV-PA 2012/430.Use the link below to access the application form.

Further Information

Application Deadline : 28 February 2012

Download this Call as PDF

Contact Adress:

Contact Email:

Posted on 2012-02-15 10:15:06

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

Sweden:PhD position in transport modeling and simulation

UK:PhD studentship available in Energy Demand

Denmark:PhD Stipend in Emerging devices and circuit design

Sweden:PhD student position in new anode materials for Li-ion batteries

UAE:IRENA Scholarship Programme

Sweden:PhD student in gaming simulation of transport systems

Australia:Engineering PhD Scholarships of up to $35,000 per year for outstanding applicants

Denmark:PhD Stipend in Modeling of real-world stress in Power Semiconductor Devices

Netherlands:PhD candidate in Operations Management

Sweden:PhD. Student position in 3D Li-ion microbattery studies

Netherlands:PhD Ultra-lean combustion for micro Combined Heat and Power system

Netherlands:Postdoc Crosstalk in integrated photonic multi-channel transceivers

Netherlands:PDEng Trainees-Process and Equipment Design

Netherlands:PhD or Post-doc in Gravity and Earthquakes

Netherlands:PDEng Trainee Designer in Bioprocess Engineering

Netherlands:Post-doc: Gas Turbine Combustion and Performance