ONE research grant for candidates with MSc degree with reference number BI|2021/143 is now available under the scope of project with the refº UIDB/50021/2020 funded by APOIO FINANCEIRO DA FCT/MCTES ATRAVÉS DE FUNDOS NACIONAIS (PIDDAC)

Publicado 13-03-2021

INESC-ID

Lisboa Lisboa (Educação / Formação)


1. Descrição do cargo/posição/bolsa
1. Job description


Cargo/posição/bolsa:
ONE research grant for candidates with MSc degree with reference number BI|2021/143 is now available under the scope of project with the refº UIDB/50021/2020 funded by APOIO FINANCEIRO DA FCT/MCTES ATRAVÉS DE FUNDOS NACIONAIS (PIDDAC)
Referência: ONE research grant for candidates with MSc degree with reference number BI|2021/143 is now available under the scope of project with the refº UIDB/50021/2020 funded by APOIO FINANCEIRO DA FCT/MCTES ATRAVÉS DE FUNDOS NACIONAIS (PIDDAC)
Área científica genérica: Engineering
Área científica específica:


Resumo do anúncio:

Texto do anúncio

Public notice for research grant

UIDB/50021/2020

INESC-ID - Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa is a R&D institute dedicated to advanced research and development in the fields of Information Technologies, Electronics, Communications, and Energy. INESC-ID has participated in more than 50 research projects funded by the European Union and more than 190 funded by national entities. Until today, our researchers have published more than 700 papers in international journal papers, more than 3000 papers in international conferences, and have registered 15 patents and/or brands.

1 | RESEARCH GRANT TYPE

ONE research grant for candidates with MSc degree with reference number BI|2021/143 is now available under the scope of project with the refº UIDB/50021/2020 funded by FCT/MCTES, NATIONAL FUNDS (PIDDAC), and under the following conditions:

2 | DURATION

3 months, starting in April 2021

- Renewable, if the candidate is enrolled in a PhD program - art. 6º, n.4 c)

https://www.fct.pt/apoios/bolsas/regulamento.phtml.pt

subject to suitable performance within the period of the project, not exceeding the maximum period set by FCT for such grants ? 4 years (included contract renewals)

  • Renewable, if the candidate is enrolled in a non-degree programme ? art. 6º, n. 4 a)

https://www.fct.pt/apoios/bolsas/regulamento.phtml.pt

subject to suitable performance within the period of the project, not exceeding the maximum period set by FCT for such grants ? 1 year (included contract renewals)

3 | LEGISLATION

A fellowship contract will be celebrated according to:

1. Law 40/2004 of 18th of August (Scientific Research Fellow Status) and its successive amendments, including the amendments introduced by the Decree Law n. 123/2019 of 28 th of August
https://dre.pt/web/guest/legislacao-consolidada/-/lc/124281176/201912061112/73740605/diploma/indice?lcq=estatuto+do+bolseiro,

2. Regulations for Research Grants of the Foundation for Science and Technology in force https://www.fct.pt/apoios/bolsas/regulamento.phtml.pt


3. INESC-ID Lisboa Grant Regulations

https://www.inesc-id.pt/scholarship-regulations/

The fellowship contract is awarded on an exclusive dedication basis ? art. 5 of Scientific Research Fellow Status and art. 16 of Regulations for Research Grants of the Foundation for Science and Technology.

4 | MONTHLY AMOUNT

The monthly amount of the grant 1 104,64? is in accordance with the values stipulated in the ?Regulations for Research Grants of the Foundation for Science and Technology? in force (https://www.fct.pt/apoios/bolsas/docs/Tabela_Valores_SMM_LOE_2021.pdf ) and shall be rendered through a monthly bank transfer to an account held by the grantee

5 | OBJECTIVES/WORKPLAN

Development and evaluation of a system to optimize data placement in distributed data stores (such as Key Value Stores or relational databases) based on the symbolic execution of application's code. The symbolic execution method will be leveraged to extract in an automatic fashion the optimal placement of data, where optimality is defined based on the number of remote data accesses required to execute transactions as well as on the balance of data partitions in the system.

The project aims at automatically analyzing Java code using the Java Path Finder symbolic execution, in combination with the METIS graph partitioning tool and logical toolkits based on Mathematica.

6 | SCIENTIFIC SUPERVISION

The activity will be supervised by Miguel Ângelo Marques de Matos, Assistant Professor and Paolo Romano Associate Professor, both from Instituto Superior Técnico and Researchers at INESC-ID.

INESC ID will integrate the grantee in the research team of the scientific advisor

7 | ADMISSION REQUIREMENTS

The candidates should have an MSc degree .


By the grant start date, the candidate must be enrolled in

a) a PhD programme ? art. 6º, n.1
https://www.fct.pt/apoios/bolsas/regulamento.phtml.pt

b) or

a) a non-degree programme ? art. 6º, n. 2
https://www.fct.pt/apoios/bolsas/regulamento.phtml.pt

Preference will be given to candidates with:

  • Provable experience with symbolic execution toolkits
  • Provable experience with Mathematica

The candidate should also have language skills corresponding to high proficiency in English.

8 | EVALUATION CRITERIA AND COMMITEE

The selection will be according to the following criteria:

1. Experience with symbolic execution toolkits - 30%

2. Experience with Mathematica - 30%

3. Experience with METIS - 20%

4. Knowledge of the literature in replicated data stores and data placement -10%

5. Proficiency with English language -10%


The jury may also decide not to assign the scholarship, if none of candidates meets the required conditions


Jury


name


Professional Status


Institutions



President


Miguel Ângelo Marques de Matos


Researcher / Professor Assistant


INESC-ID / IST



Member


Paolo Romano


Researcher / Professor Associate


INESC-ID / IST



member


João Pedro Faria Mendonça Barreto

Researcher / Professor Assistant


INESC-ID / IST



Substitute member


Luís Eduardo Teixeira Rodrigues

Researcher / Full Professor


INESC-ID / IST



Substitute member


Miguel Nuno Dias Alves Pupo Correia

Researcher / Professor Associate


INESC-ID / IST




9 | COMPLAIN AND APPEAL DEADLINES AND PROCEDURES

The jury has the faculty not to select a candidate who does not prove the requirements mentioned in required education Level and research experience


The admitted and excluded candidates will be notified by email of the final ranking list, including the copy of the Preliminary Report of the jury.


Prior Hearing and Deadline for Final Decision: After being notified, candidates have 10 working days to submit, if applicable, a formal rebuttal.


After that period, the jury notifies the candidates of the Final Report.


Excluded applicants may complain about the jury's final report for 15 working days after notification or appeal the jury's decision to the INESC ID Board of Directors for 30 working days after notification.


According to the Portuguese Law, a disabled candidate has a preference when in equal classification, which prevails over any other legal preference. Candidates must declare their respective degree of disability, the type of disability and the means of communication / expression to be used in the selection process, under the law.

10 | FORMALISATION OF APPLICATIONS

Applications are formalised by sending an email to [email protected] with the documents stated bellow and in pdf form.

The application email should clearly state the reference of the research grant and project.



1


Single copy of official academic degree certificate in the required education level



a) In the application submission, the candidates from portuguese education institutions may replace this document by a declaration of honour stating that they have the required academic degree.



Ø It is mandatory for the approval of the fellowship contract that the selected candidate presents a single copy of the official academic degree certificate, required in education level



b) In the application submission, the candidates from foreigner education institutions may replace this document by a declaration of honour stating that they have the required academic degree.



Ø


Ø It is mandatory for the approval of the fellowship contract that the selected candidate presents a single copy of the official diploma recognition, required in education level



Ø


Ø For more information about diploma recognition please press here



2


Detailed list of grades (pdf form);



3


Proof of enrolment required on 7 a) or 7 b) (pdf form);



In the application submission, the candidates may replace this document by a declaration of honour stating that they are/will be enrolled required in 7 a) or 7 b)



Ø It is mandatory for the approval of the fellowship contract that the selected candidate presents an official copy of the enrolment, required in 7 a) or 7 b)



4


Detailed curriculum vitae (pdf form);



5


Motivation letter explaining the interest in the position (pdf form);



6


Name of two personal references (pdf form).




Application Dates


From


To



18-03-2021


31-03-2021






Número de vagas: 1

Tipo de contrato: Informação não disponível

País: Portugal

Localidade: Lisbon

Instituição de acolhimento: INESC-ID


Data limite de candidatura: 31 March 2021
(A data limite de candidatura deve ser confirmada no texto do anúncio)

2. Dados de contactos da organização
2. Organization contact data

Vazio

3. Habilitações académicas
3. Required education Level


Vazio