Sweden: PhD student in Security and Privacy of Social Networks

Application deadline: June 28, 2010
Employer's reference number: D-2010-0248

KTH The School of Computer Science and Communication (CSC) seeks a PhD student in Security and Privacy of Social Networks.

KTH is the largest technical university in Sweden. Education and research cover a broad spectrum within natural sciences and engineering, as well as architecture, industrial engineering and management, urban planning, work science and environmental engineering. KTH has 6,955 full-time equivalent students at Bachelor (first) level, 5,545 at Master (second) level, 1,314 at doctoral studies (third) level and 3,900 employees.

CSC is one of Sweden’s most advanced and successful research and education institutions in Information Technology at KTH and Stockholm University. The activities of the school focus on higher education and research within the traditional core areas of numerical analysis and computer science; from theory building and analysis of mathematical models to algorithm construction, implementation and simulation. Other core areas of growing importance are technology and methods for the support of human communication and computer mediated cooperation over distances in time and space. The applied research includes scientific computing, computer science, computer vision, robotics, neuroinformatics and neural networks, human-computer interaction, media technology and graphic arts, and communication through speech, language and music.

For more information see

• www.kth.se/csc go to"CSC International Website".

The Department of Theoretical Computer Science (TCS) offers a stimulating research environment in a range of topics such as complexity theory and approximation algorithms, computer and network security, cryptography, programming languages, and formal methods. Security and safety of computer and network based systems has been identified as an area of strategic importance.

Online Social Networks like Facebook, MySpace, Xing, etc. have become extremely popular. Yet they have some limitations that we want to overcome for a next generation of social networks: privacy concerns and requirements of Internet connectivity, both of which are due to web-based applications on a central site whose owner has access to all data. To overcome these limitations, we envision a paradigm shift from a client-server to a peer-to-peer infrastructure coupled with encryption so that users keep control of their data and can use the social network also locally, without Internet access. This shift gives rise to many research questions intersecting areas such as networking, security, distributed systems, and social network analysis - leading to a better understanding of how technology can support social interactions. For more details see the PeerSoN project page at

• http://www.peerson.net

The goal of this PhD project is to develop and evaluate security and privacy mechanisms for decentralized social networks in particular and for provider-independent personal communications in general.

The candidate will join a collaborative project with researchers located at KTH, NTU Singapore, EPFL Lausanne, and T-Labs Berlin.

This is a four-year, time-limited position and normally includes 20% departmental duties, usually teaching. Research/doctoral students must be registered at KTH. The starting date is open for discussion, though ideally we would like the successful candidate to start as soon as possible.

Employment

Form of employment: Time-limited
Work time: Full time
Start date: According to agreement
The salary follows the directions provided by KTH
Number of positions: 1

Qualifications

The applicant is expected to have a strong background and interest in computer science, including subjects such as security, cryptography, networking, distributed systems, and game theory.

Applicants must be strongly motivated for doctoral studies, possess the ability to work independently and perform critical analysis as well as possessing good levels of cooperative and communicative abilities.

To address its varied work, KTH aims to employ a diversity of talent and thus welcomes applicants who will add to the variety of the University, especially as concerns its gender structure.

Application

Application deadline: June 28, 2010
Employer's reference number: D-2010-0248

Applications should contain a letter where the applicants describe themselves, their qualifications, and interests. They should also contain a Curriculum Vitae, grade transcripts, copies of the applicant’s Master thesis and/or publications, and names and addresses of two references. Applicants about to finish their M.Sc. degrees may be considered for the position.

Applications via email to:

• susanneb@csc.kth.se

Write reference number in the email subject. (CV, etc should be sent as an attachment preferably pdf-files.)

Alternatively applications by ordinary post to be sent to:

KTH, CSC
att. Susanne Bergman
Lindstedtsvägen 3, plan 4
SE-100 44 Stockholm
Sweden

Source: KTH Website

PhD Position in Cognitive Robotics at TUM, Germany

Application deadline: the position should be filled as soon as possible

We are now accepting applications for a 3-year PhD position in the fields of cognitive robotics, languages for modelling of situations, actions and perception, and system integration at the Department of Informatics at TU Munich, Germany.

Project Title: RoboEarth - Robots sharing a knowledge base for world model-ling and learning of actions .

The European project "RoboEarth" is a research project in the area of cognitive robotics and system integration. Several European partners from industry and academia are participating in this four year project. The Chair of Robotics and Embedded Systems is responsable for language definition and implementation that allows for the representation and communication of actions and situations on different levels of abstraction. The relevant research topic includes develop-ment of a language together with the overall architecture with a focus on com-ponent integration.

In particular, the objectives are

• to specify and develop a high-level language for the communication between RoboEarth and individual systems,
• to get an abstract representation of labelled situations and actions, and
• to provide interfaces for platform-specific representations (individual robots and the RoboEarth platform) and for human-robot interaction.

Applicants should have an M.Sc. degree in Computer Science (or equivalent, from a well-known university). The successful candidates should have experi-ence in one or more of the following areas:

• cognitive robotics or automation systems,
• representation of complex actions and/or situations, and
• Ontol-ogy-based world modelling.

TU Munich enjoys an excellent international reputation as an academic leader and has been consistently ranked as one of the three best universities in Ger-many. The Munich area itself offers high-quality of living, with unparalleled out-door recreational opportunites and a great night-life at a reasonable price.

Interested applicants should submit a curriculum vitae and an academic tran-script. A statement of the broad area of your research interest should also be included.
For application, enquiries or further information, send an E-mail to: Dr. Reinhard Lafrenz (lafrenz@in.tum.de) or visit our web site at http://wwwknoll.in.tum.de

Source: http://www6.in.tum.de/pub/Main/OpenPositions/job_position_RoboEarth-final.pdf

PhD Position in Embedded System Design at TUM, Germany

Deadline: the position is to be filled as soon as possible

Domain: Automation We are now accepting applications for a 3‐year PhD Scholarship in the area of software engineering, fault-tolerant systems, and verification in the Department of Informatics at TU München, Germany.

Project Title: Development of High-Availability Embedded Systems Application

In cooperation with GE, TU München investigates on the development process of high-availability embedded systems. The project covers the following aspects: code reuse, multi-core platforms, code generation, and formal verification. Within the project, a windmill application will be implemented as use case. Applicants should have a M.Sc. degree in Computer Science or Electrical Engineering (or equivalent, from a well‐known University).
The success-ful candidate should have experience in one or more of the following areas:

1. software engineering
2. multi-core systems
3. formal methods, and
4. fault-tolerance mechanisms.

TU München enjoys an excellent international reputation as an aca-demic leader and has been consistently ranked as one of the three best universities in Germany. It was appointed one of only three top universi-ties in the first round of the "Excellence Initiative" of the German Gov-ernment in 2006. The group Robotics & Embedded Systems offers a unique working surrounding with interesting and challenging research projects. Besides the concrete project, the group provides excellent pos-sibilities for your career both in academia – within the associated re-search and transfer institute fortiss - and in industry - by its close ties to companies and by supporting the creation of spin-offs. The Munich area itself offers high quality of living, with unparalleled outdoor recreational opportunities and a great night-life at a reasonable price. Interested applicants should submit a curriculum vitae, an academic transcript and two referees. A statement of the broad area of your re-search interest should also be included.

For any enquiries or further information, send an E-mail to: Dr. Christian Buckl (buckl@in.tum.de) or visit our web site http://wwwknoll.in.tum.de.

Source: http://www6.in.tum.de/pub/Main/OpenPositions/position_available.pdf

PhD student position in Software Engineering at Chalmers University, Sweden

Application deadline 2010-03-16
Reference number 2010/33
Job start date 2010-05-03

The department provides a strong, international, and dynamic research environment with about 70 faculty and 70 PhD students. For more information, see www.chalmers.se/cse/EN/ Half of our researchers and PhD students are native Swedes; the rest come from more than 30 different countries. The research group is a newly established group in the division of Software Engineering and Technology. The group is conducting research on verification and validation, automated software engineering, human aspects on software development, software metrics, architectural modeling, validation of quality attributes such as real-time constraints and security, distributed/global software engineering etc. The work is broad in nature and utilizes a number of different theories, models, technologies and tools depending on the relevant industrial needs and constraints for each study.

The group has strong collaboration with research groups in UK, USA, Greece, Norway and China; it will be possible for the interested doctoral student to experience an extended stay at an international university as a visiting scholar. The group also has extensive collaboration with Swedish industry, in particular the aerospace, telecom and automotive industries.
Additional support for the PhD student will be given by the Swedish Research School in Software Verification and Validation (SWELL, swell.se) in which the student will take part.

Job description
Much of software development is changing from being plan-driven to being more agile and adaptive, with shorter iterations and cycles. Within the European Community (EC) there is a large research and development project underway to develop a new set of rules and methodologies for the European air space (SESAR). This will have a long-lasting effect on the aerospace industry as a whole and will impose new requirements on companies developing software for it. It will be increasingly important to verify non-functional requirements, i.e. that the developed software has the right performance, safety and reliability and to integrate such verification activities with the right mix of and economically motivated testing activities for the functional requirements. In particular this is a challenge for companies that see competitive benefit in using agile development methods.

The work focuses on finding better methods and techniques to test and verify safety critical software, in particular air traffic control software that is developed with agile development methodologies. It is based on earlier work with the space industry that developed a way to optimize verification activities, but will also investigate increased (semi-)automation in acceptance and system testing. The research will be conducted in close cooperation with and at the premises of SAAB Security AB (ATM) and is funded by SAAB and VINNOVA.
As a Ph.D. student you are employed by Chalmers and will receive a salary according to current salary agreements. A maximum of 20% of your time will be devoted to other duties at the department, mainly teaching. The remaining time will be devoted to your own courses and research within the project and you are expected to obtain a Ph.D. within a maximum of 5 years.
Required qualifications

English is the main language used in our research and we publish internationally. However, since this work involves Swedish companies with security clearance it is a requirement that you have a Swedish citizenship. We thus require that you know both Swedish and English well. Applicants shall have a Master’s Degree (Swe: civilingenjörsexamen) or corresponding degree in Computer Science, Computer Engineering, or Electrical Engineering or in a related discipline. As for all PhD studies, a genuine interest and curiosity in the subject matter and excellent analytical and communication skills, orally as well as in writing, are needed. Software Engineering is a broad field of study but we still assume you also have excellent, basic technology skills, such as in programming, designing and testing software. A successful candidate should have a profound interest in software engineering, agile methodologies and verification and validation. Experience from professional software development and/or agile software development is positive and its level and extent should be briefly summarized in your application. You may apply even though you might not have completed your degree yet, but you expect to do so before the position starts.

It is highly recommended that you include or e-mail letters of recommendation; we typically get a large number of applications, and it is simply not feasible for us to request individual letters. It is essential that the application includes all relevant work such as theses and articles that you have authored or co-authored.

Application procedure
The application shall be written in English and include the following items:

• An application of a maximum of one A4 page containing your specific qualifications for the position
• Attested copies of education certificates, including grade reports and other documents
• Curriculum Vitae
• Letters of recommendation and name of reference persons (optional)

The application shall be sent electronically as pdf or zipped documents. Please use the button at the foot of the page to reach the application form.
If any material is not available electronically or cannot be transferred to pdf format, the material can be sent as a hard copy to Registrar. The applicants name and the reference number (2010/33) must be written on the first page of the application.

Address:

Registrar

Chalmers University of Technology

SE-412 96 Göteborg

Sweden

Further information
Research level: Assoc. Professor Robert Feldt E-mail: robert.feldt@chalmers.se
Departmental level: Dr. Björn von Sydow Tel. +46 31-772 1040 +46 31-772 1040E-mail: sydow@chalmers.se
More information is available at the departmental homepage
Union representatives
SACO: Jan Lindér
ST: Marie Wenander
SEKO: Johan Persson
All reachable via Chalmers exchange: +46 31 772 10 00

http://www.chalmers.se/cse/EN/news/vacancies/positions/phd-student-position-in4576

PhD Student Position in Functional Programming at Chalmers University of Technology, Sweden

Application deadline 2010-04-07

Reference number Ref 2010/44
Job start date 2010-09-01

The department provides a strong, international, and dynamic research environment with about 70 faculty and 70 PhD students. For more information, see www.chalmers.se/cse/. Half of our researchers and PhD students are native Swedes; the rest come from more than 30 different ,countries. The research group is a newly established group in the division of Software Engineering and Technology.
The functional programming group consists of 5 senior researchers, 5 post-docs, and 7 doctoral students, and recently got a 4-year grant supporting new research direction in the development and application of domain-specific languages. Examples of our current work in this area are a language for digital signal processing (called Feldspar, which is developed together with Ericsson), a language for high-level micro-architecture exploration (called Chalk, which is developed together with Intel), a language for GPU programming (called Obsidian) and a language for computational vulnerability assessment (developed together with the Potsdam Institute for Climate Impact Research). Generic programming is a paradigm we actively use in the development of DSLs.


Job description
The PhD student will join the research activities at our department in the area of functional programming, much of which concentrates on the design and application of Domain Specific Embedded Languages (DSELs). Examples of our previous work in this area are Lava, a language for hardware description and verification, QuickCheck, a DSL for specifying and testing programs and PolyP, a language for generic functional programming.

Our goals for the coming four years are to develop theories and tools that make future DSELs easier to design, implement, and use. Concretely, we aim for making reusable, generic libraries that capture common aspects occurring in many DSELs, such as symbolic simulation and error messages. Moreover, we want to develop domain-specific specification, testing and verification methods, using for example QuickCheck and automated theorem proving techniques, that exploit the particular restrictions that programs in the DSL at hand obey. All this will be done in the context of the concrete DSELs the group is already working on.

As a Ph.D. student you are employed by Chalmers and will receive a salary according to current salary agreements. A maximum of 20% of your time will be devoted to other duties at the department, mainly teaching. The remaining time will be devoted to your own courses and research within the project and you are expected to obtain a Ph.D. within a maximum of 5 years.

Required qualifications
Applicants must have a very good undergraduate degree in Computer Science or in a related subject with a strong Computer Science component. They must also have a strong, documented interest in doing research. The ideal student for the position is an accomplished functional programmer, with an interest in applied functional programming as well as a good understanding of logic.
You may apply even if you have not yet completed your degree, but expect to do so before the position starts.

Application procedure
The application shall be written in English and include the following items:

1. An application of a maximum of one A4 page containing your specific qualifications for the position
2. Attested copies of education certificates, including grade reports and other documents
3. Curriculum
4. Letters of recommendation and name of reference persons (optional)
   

The application shall be sent electronically as pdf or zipped documents. Please use the button at the foot of the page to reach the application form.

If any material is not available electronically or cannot be transferred to pdf format, the material can be sent as a hard copy to Registrar.
The applicants name and the reference number (Ref 2010/44) must be written on the first page of the application.

Address:
Registrar
Chalmers University of Technology
SE-412 96
Göteborg
Sweden

Further information
Research group level:
Assoc. Professor Patrik Jansson, E-mail: patrikj'at'chalmers.se Assoc. Professor Koen Lindström Claessen, E-mail: koen'at'chalmers.se Professor Mary Sheeran, E-mail: ms'at'chalmers.se Professor John Hughes, E-mail: rjmh'at'chalmers.se
Departmental level:
Dr. Björn von Sydow, Tel. +46 31-772 1040 +46 31-772 1040, E-mail: sydow'at'chalmers.se
More information is available at the departmental homepage www.chalmers.se/cse/EN

source: For details: http://www.chalmers.se/cse/EN/news/vacancies/positions/phd-student-position-in2935