Postdoctoral Researcher and Doctoral Student position at TKK

           Postdoctoral Researcher and Doctoral Student position


The Model Checking Research group of Laboratory for Theoretical Computer
Science (http://www.tcs.tkk.fi/) at Helsinki University of Technology
(TKK) is looking for one Postdoctoral researcher and one Doctoral
student. Both positions are in connection with research projects of the
group employing SAT based symbolic model checking technology for topics
such as testing, model checking, and synthesis of distributed systems.
The positions are to be filled early spring 2007 and will run until the
end of 2009, with the possibility for extension. The salaries for the
posts will be according to local University standards.

The Model checking research group led by Academy Research Fellow Keijo
Heljanko (http://www.tcs.tkk.fi/~kepa/) is one of three "Outstanding
junior research groups of Helsinki University of Technology (TKK)", and
focuses on computer aided verification methods for distributed systems
based on SAT and its extensions such as SAT modulo theories (SMT).

For the postdoctoral researcher position the ideal applicant should hold
a Doctoral degree in computer science or related field, on a topic
related to the proposed research. For the doctoral student position the
ideal applicant should hold a Master's degree in computer science or
related field, and should have a good knowledge of verification methods
with the knowledge of SAT being an asset, together with sufficient
programming skills. For both positions the international applicants from
outside EU and USA should also demonstrate their good English language
skills with an TOEFL IELTS, or Cambridge Language Certificate (CAE/CPE)
score, or equivalent.

The applications with a letter of introduction containing contact
information for two persons willing to act as a reference, CV, and
official copies of the relevant diplomas should arrive before Friday
9th of February 2007 at 16:00 at the address:

Keijo Heljanko
P.O. Box 5400
FI-02015 TKK
Finland

Please feel free to email us for further information:

Keijo Heljanko
Academy Research Fellow
Keijo.Heljanko@xxxxxx
(http://www.tcs.tkk.fi/~kepa/)

-- 
Keijo.Heljanko@xxxxxx