Category Archives: Studies
Master’s thesis topic in software technology
Visualization of SAT-Solvers The SAT problem — determining if a formula in proposition logic is satisfiable — is decidable because you can construct a truth table. If there are n atomic propositions, there are 2^n assignments, so this is not an efficient algorithm. An efficient algorithm for SAT would solve the P=NP? problem in the affirmative, which is unlikely. However, many interesting algorithms for SAT (called SAT Solvers) have proved to be very efficient in practice. The algorithms are generally based on the DPLL (David, Putnam, Logemann, Loveland) algorithm and add sophisticated search methods and heuristics. The Master’s thesis project … Read more
Open M.Sc. thesis position: “Design and implementation of high-level Internet models on top of a distributed discrete event simulator”
(Autumn 2012) Background: A clean-slate information-centric network (ICN) architecture for Internet is being developed in the PURSUIT EU project. The system under work includes a global rendezvous service based on hierarchical DHT consisting of thousands of nodes dispersed cover different autonomous systems. The evaluation of system of this size is difficult, as router-level simulations do not scale to the whole Internet and global prototype deployment is not feasible. Therefore, we are developing our own distributed discrete event simulator tool, that can be run in a computer cluster for large-scale models. In addition, we have been collecting and combining existing data … Read more
EIT ICT Labs Cloud Computing Summer School registration now open
EIT ICT Labs Cloud Computing Summer School at Aalto University 3.-8.6.2012 registration is now opened. More information in the cloud computing summer school pages.
Master thesis topic in Mammoth project and in NRC
Security Architecture for Short-range Wireless High-bandwidth Memory Access The project in NRC is for an M.Sc. thesis around the topic of defining and prototyping security architecture for a short-range high-bandwidth wireless memory access technology. Objectives To design and implement a security architecture for a short-range high-bandwidth wireless memory access technology. If feasible, also investigate the security issues for specific usage scenarios of this technology. Contacts in NRC: Jan-Erik Ekberg (jan-erik.ekberg@nokia.com), N. Asokan (n.asokan@nokia.com) More information: Antti Ylä-Jääski (antti.yla-jaaski@aalto.fi). Group communication in Low power and Lossy Networks Internet of things(IoT) is an integrated part of Future Internet, which mainly focuses on … Read more
Seminar on Software Technology and Systems Research: Service Design methods
Learn Service design methods used by Finnish IT industry leaders. Experts from Futurice, Idean, Reactor and Palmu teach how they create winning services. Each lecture includes a hands-on session. The seminar starts on Tuesday, March 13 at 16:15. Register in Oodi, 20 seats total, first come, first served! For more information see Noppa for course T-106.6360.
Thesis Positions at SoberIT
SoberIT/Preago research group has open positions for Master’s Thesis in area of services in mobile devices and cloud. We focus on concepts and technologies in device cloud such as how content and service delivery and sharing takes place in device to device cloud and how devices from different users in each others’ proximity can start to collaborate automatically providing users value-adding, distributed and orchestrated behavior. Possible themes for thesis: Assessing device service elasticity in the cloud Self-management aspects of devices utilizing cloud Tool support for configuring services A subset of the following is appreciated: Familiarity with Meego and Linux Programming … Read more
Diplomityöpaikka vaatimusten kuvaustavoista ydinvoima-alalla
Diplomityöpaikka vaatimusten kuvaustavoista ydinvoima-alalla SAREMAN projektissa on avoinna diplomityöpaikka, jossa on tavoitteena selvittää ja analysoida vaatimustenhallinnassa sovellettavia kuvaustapoja sekä soveltaa näitä kuvaustapoja ydinvoimalan automaation tarpeisiin. Lisäksi tavoitteena on laatia esimerkkivaatimuksia eräästä ydinvoimalaitoksen järjestelmästä kuvaustapojen soveltuvuuden validoimiseksi. Työ painottuu automaatioon ja sen käyttöliittymään, mutta molempia tarkastellaan osana laajempaa kokonaisuutta. SAREMAN projektin tavoitteena on kehittää hyviä käytäntöjä vaatimustenhallintaan ydinvoima-alalla. Fokus on erityisesti toiminnallisessa turvallisuudessa, joskin myös muunlaiset vaatimukset otetaan huomioon. SAREMAN projekti on suunniteltu nelivuotiseksi projektiksi 2011-2014 jossa tutkimus etenee vaatimustenhallinnan käsitteistön määrittämisestä, kuvaamisen ja mallituksen sekä käytäntöjen kehittämisen kautta lopuksi työkalutuen soveltamiseen. Työ tehdään Aalto-yliopiston tietotekniikan laitoksen ohjelmistoliiketoiminnan ja -tuotannon laboratoriossa … Read more
SoberIT Summer Internships 2012
Software Business and Engineering Laboratory SoberIT is part of Department of Computer Science and Engineering at Aalto University School of Science. At SoberIT, we are responsible for research and education related to software engineering including business and management aspects of software development. Our mission is to improve global competitiveness of the Finnish software industry by providing world-class education and research. We strive for research that is both practically relevant and of high academic quality. Our research projects are often carried out in close cooperation with industry, and are often multi-disciplinary and constructive in nature. Our staff consists of people with various … Read more
Summer Internships in Software Technology
Read more in Finnish.
Summer Internships in Data Communications Software
The Data Communications Software research group belongs to the Department of Computer Science and Engineering at Aalto University. Our research covers cloud computing, energy efficiency in the Internet, Internet of Things, machine-to-machine communications, applications and services in Internet, security and privacy. We are hiring more than 10 summer interns for the summer 2012 for various areas in the Data Communications software major. See more details in http://cse.aalto.fi/research/groups/datacommunications/ and specifically our research portfolio: http://cse.aalto.fi/research/groups/datacommunications/projects/ From the summer trainees we expect successful studies and an interest in research work. Each intern will have a personal supervisor that guides the work during the … Read more
