Summer Internships at the TKK Laboratory for Theoretical Computer Science

The TKK Laboratory for Theoretical Computer Science is seeking student interns for Summer 2006.

The Laboratory for Theoretical Computer Science, which is one of the seven laboratories of the TKK Department of Computer Science and Engineering, pursues internationally acknowledged research in five thematic areas: computational logic, computational complexity, verification, mobility management and cryptology.

The qualifications required for a summer internship are a successful study record and interest in scientific work. Each intern will be appointed a personal mentor who advises him or her in the relevant research. The work can often be counted towards the intern's curriculum requirements as a student research/programming project. Successful interns can continue their work at the laboratory as either full or part time research assistants, often extending work started as a summer project into a diploma thesis.

Internship projects planned for Summer 2006 include:

• Testing and implementing mobility management protocols in a wireless networking environment
• Cryptography-related project work
• Developing software for implementations of constraint programming and propositional satisfiability checking systems
• Local search algorithms in the solution of computationally demanding tasks

Applications for internship should be sent by 31 Jan 2006 to Laboratory Manager Eero Lassila either per e-mail to "Eero.Lassilatkk.fi" or per postal mail to "Eero Lassila, PL 5400, 02015 TKK". An up-to-date study transcript must be appended. In addition, each application must contain:

• a brief statement of purpose (motivation for applying to the given task)
• a brief characterisation of the type of work of primary interest
• a brief argument for preferring the present applicant over others.