Kesätöitä TKK:n tietojenkäsittelyteorian laboratoriossa

TKK:n tietojenkäsittelyteorian laboratorio hakee kesäteekkareita kesäksi 2004.

TKK:n tietotekniikan osastolla sijaitseva tietojenkäsittelyteorian laboratorio tekee kansainvälisesti korkeatasoista tutkimusta viidellä erikoisalalla: laskennallinen logiikka, laskennan vaativuusteoria, verifiointi, liikkuvuuden hallinta ja kryptologia.

Kesäteekkariksi pyrkiviltä edellytetään menestystä opinnoissa ja kiinnostusta tieteellisen työn tekemiseen. Jokainen valituksi tullut saa henkilökohtaisen ohjaajan, joka neuvoo työtehtävissä. Kesäteekkarina tehty työ on usein mahdollista sisällyttää opintoihin erikoistyönä. Hyvin menestyneiden kesäteekkareiden on mahdollista jatkaa työskentelyä laboratoriossa joko koko- tai osapäiväisinä tutkimusapulaisina. Tällöin kysymykseen tulee myös diplomityön tekeminen.

Kesälle 2004 kaavailtuja kesätyöaiheita ovat mm.:

• Kursseilla T-79.144 (Logiikka tietotekniikassa: perusteet) ja T-79.148 (Tietojenkäsittelyteorian perusteet) harjoitustehtävien tarkastamiseen käytettyjen ohjelmistojen jatkokehitys, erityisesti uusien tehtävätyyppien suunnittelu ja vastaavien tarkastimien toteutus.
• Langattomien ad hoc -verkkojen tutkimusohjelmistojen (esim. simulointiympäristöt) kehittäminen.
• Oppiminen systemaattisissa hakumenetelmissä.

Hakemukset on toimitettava 20.02.2004 mennessä joko sähköpostiosoitteeseen Kimmo.Varpaaniemihut.fi tai osoitteeseen "Kimmo Varpaaniemi, PL 5400, 02015 TKK". Hakemuksessa on oltava liitteenä ajan tasalla oleva opintosuoritusrekisteriote. Lisäksi hakemuksessa pitää

• selittää lyhyesti, miksi haet kesäteekkariksi,
• luonnehtia lyhyesti, millaisista työtehtävistä olet ensisijaisesti kiinnostunut, sekä
• perustella lyhyesti, miksi juuri sinut tulisi valita.