The Computer Systems group of the NOVA Laboratory of Computer Science and Informatics (NOVA LINCS) is looking for two prospective PhD Students for pursuing the PhD degree in the Computer Science and Informatics Department (DI) of the Faculdade de Ciências e Tecnologia (FCT) of the Universidade Nova de Lisboa.
Candidates must hold a Master degree or equivalent with a top record in a field closely related to Computer Science and Informatics preferably with research experience on computer systems. Successful candidates should be highly motivated to perform competitive scientific research, publish their results in top quality conferences and journals, and develop new solutions. Autonomy and ability to work both independently and within research teams are expected. A good domain of English is necessary.
NOVA LINCS is a Portuguese leading research unit (rated “Excellent” in the last (2013) FC&T evaluation) hosted at Departamento de Informática - Universidade Nova de Lisboa. We are pursuing an ambitious research program on Principles and Engineering for Global Software Systems, as a collaboration of the research groups Computer Systems, Knowledge-based Systems, Multimodal Systems, and Software Systems.
The NOVA LINCS Computer Systems Group (Principal Investigator: Nuno Preguiça) has a strong research record on systems design and implementation with practical impact on industry. We currently host 7 researchers on computer systems, (see http://nova-lincs.di.fct.unl.pt/research/computer-systems). We promote many opportunities of interaction with the global research community, and also with international companies in our network.
More information about the structure of the PhD program can be obtained at the Department web site http://www.di.fct.unl.pt/en/teaching/phd-computer-science/study-plan.
Lisbon is a very attractive place to live in and work at (http://edition.cnn.com/2014/01/25/travel/lisbon-coolest-city/).
The students will be conducting their research in the context of the European H2020 project LightKone, working in one of the following topics:
Infrastructure for General Purpose Computations in the Edge
Edge computing, also sometimes denominated Fog computing, is an emerging computation paradigm of special relevance for addressing scenarios where large quantities of data are produced by large number of nodes in the edge, and where computations over this data must be performed in a timely fashion as to enable decision making processes or trigger actions over the environment. Common use cases for this computing model can be found in Internet of Things as well as Edge cloud mobile computing. The candidate will be working on the development of novel approaches for supporting general purpose computations in the edge, moving towards the construction of an infrastructure that can support multiple types of applications. The emphasis of this work is to devise adequate abstractions and distributed algorithms that enable the execution of such computations in an efficient and fault-tolerant way across large number of devices with heterogeneous properties. The work should explore how to better leverage resources in the core of the network (i.e, cloud computing resources) while minimising the dependency of such infrastructures.
Security challenges in the Edge
Edge computing, also sometimes denominated Fog computing, is an emerging computation paradigm of special relevance for addressing scenarios where large quantities of data are produced by large number of nodes in the edge, and where computations over this data must be performed in a timely fashion as to enable decision making processes or trigger actions over the environment. This sort of scenario raises many concerns related with both security and privacy. The candidate will be working in evaluating the threat model, with emphasis on privacy, correctness, and availability of edge computing environments with special interest in scenarios where devices are required to communicate through a wireless medium. As a second step the candidate is expected to devise, prototype, and evaluate (potentially through the combination of experimentation and formal analysis) a set of solutions to protect or mitigate some of the possible attacks to such computing platforms. As a concrete example, the student should devise mechanisms to mitigate denial of service attacks over the wireless medium in these platforms.
Students will be offered the opportunity of spending some time at research labs or other institutions with which NOVA LINCS and DI have agreements or partnerships in projects or exchange agreements. Past examples of internships include Microsoft Research, Telefonica Research, Carnegie Mellon University, University of Texas at Austin, Yahoo Labs.
The positions will be supported up to 3 years, renewable on a yearly basis by a grant in the context of the H2020 European project LightKone (a project that will start on January 2017). The studentship includes a monthly stipend of 1080€ net (no taxes applicable) plus social security insurance.
The application must include the following documents: motivation letter, CV, and copy of academic records/certificates.
Applications and inquiries should be be sent by e-mail to Prof. Nuno Preguiça (email@example.com) or Prof. João Leitão (firstname.lastname@example.org) and cc to email@example.com with the reference of position in the subject.