Summer Internships at the TKK Laboratory for Theoretical Computer Science

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

The Laboratory for Theoretical Computer Science, which is one of the six 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 laboratory is working seriously to reach the status of a national Centre of Excellence in Research.

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 2007 include:

• Developing software for implementations of constraint programming and propositional satisfiability checking systems
• Automated planning of course schedules using constraint programming techniques
• Sampling methods for fitness landscapes of optimisation problems
• Cryptography-related project work
• Program development for software testing and verification systems
• Model-based safety analysis of automation systems
• Start-up and testing of lab's new computing cluster

Applications for internship should be sent by 31 Jan 2007 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.