30/09/2021

ONE research grant for candidates with BSc degree with reference number BI|2021/206 is now available under the scope of project PassCert - CMU/TIC/0006/2019 funded by FUNDAÇÃO PARA A CIENCIA E A TECNOLOGIA I.P.

This job offer has expired


  • ORGANISATION/COMPANY
    INESC ID
  • RESEARCH FIELD
    Engineering
  • RESEARCHER PROFILE
    First Stage Researcher (R1)
  • APPLICATION DEADLINE
    15/10/2021 23:00 - Europe/London
  • LOCATION
    Portugal › Lisboa
  • TYPE OF CONTRACT
    Other
  • JOB STATUS
    Other
  • REFERENCE NUMBER
    PassCert - CMU/TIC/0006/2019 - BI|2021/206

OFFER DESCRIPTION

Public notice for research grant

PassCert - PassCert: Exploring the Impact of Formal Verification on the

Adoption of Password Security Software

CMU/TIC/0006/2019

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 BSc degree with reference number BI|2021/206 is now available under the scope of project PassCert - CMU/TIC/0006/2019 funded by fundação para a ciencia e a tecnologia i.p. and under the following conditions:

2 | DURATION

3 months, starting in November 2021

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

(https://www.fct.pt/apoios/bolsas/docs/RegulamentoBolsasFCT2019.pdf )

subject to suitable performance within the period of the project, not exceeding the maximum period set by FCT for such grants – 2 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/docs/RegulamentoBolsasFCT2019.pdf )

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/docs/RegulamentoBolsasFCT2019.pdf )

     

  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 835.98€ 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

The selected candidate will be a member of the research project PassCert, which aims at building an open-source, proof-of-concept password manager that through the use of formal verification, is guaranteed to satisfy properties on data storage and password generation. PassCert is a research collaboration between researchers from INESC-ID Lisboa (PT), INESC TEC (PT), and Carnegie Mellon University (US).

The selected candidate will:

1) Contribute to the development of the proof-of-concept verified password manager.

2) Explore the integration of formally verified components related to aspects such as data security.

3) Actively participate in and contribute to PassCert's activities and regular meetings.

4) Submit/Publish a research paper.

6 | SCIENTIFIC SUPERVISION

The activity will be supervised by João Fernando Peixoto Ferreira, assistant professor at Instituto Superior Técnico, Universidade de Lisboa and researcher at INESC- ID Lisboa and Alexandra Mendes assistant professor at Univ. da Beira Interior and researcher at INESC-TEC.

INESC ID will integrate the grantee in the research team of the scientific advisors.

7 | ADMISSION REQUIREMENTS

The candidates should have a BSc in Computer Science or related areas.

 

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

  1. a MSc programme – art. 6º, n.1

    (https://www.fct.pt/apoios/bolsas/docs/RegulamentoBolsasFCT2019.pdf)

or

  1. a non-degree programme – art. 6º, n. 2

    (https://www.fct.pt/apoios/bolsas/docs/RegulamentoBolsasFCT2019.pdf )

Preferential factors:

Preference is given to candidates who have:

  1. experience with formal verification and with automated/interactive provers (e.g. Dafny, Verifast, Coq, Isabelle/HOL).
  2. proficiency in English
  3. proficiency in Portuguese

8 | EVALUATION CRITERIA AND COMMITEE

The selection will be according to the following criteria:

  1. [50%] Academic record and motivation letter.
  2. [40%] Experience and proven knowledge in formal verification.
  3. [10%] Recommendation letters and references.

The evaluation panel may also decide to not assign the scholarship, if there are no candidates with relevant records and experience.

 

Jury

Name

Professional Status

Institutions

President

João Fernando Peixoto Ferreira

Assistant Professor

INESC ID | Tecnico ULisboa

Member

José Bacelar Almeida

Assistant Professor

INESC TEC| Universidade do Minho

Member

Alexandra Mendes

Assistant Professor

INESC TEC | Univ. da Beira Interior

Substitute member

Pedro Tiago Gonçalves Monteiro

Associated Professor

INESC ID | Tecnico ULisboa

Substitute member

Rui Maranhao Abreu

Full Professor

INESC ID | Tecnico ULisboa

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 rh@inesc-id.pt 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 the copy of official academic degree certificate 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 the copy of official academic degree certificate 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:

 

 

https://www.dges.gov.pt/en/pagina/degree-and-diploma-recognition

 

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 the proof of enrolment 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

01/10/2021

 

15/10/2021

More Information

Benefits

The monthly amount of the grant 835.98€ 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.

Eligibility criteria

The candidates should have a BSc in Computer Science or related areas.

 

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

  1. a MSc programme – art. 6º, n.1

    (https://www.fct.pt/apoios/bolsas/docs/RegulamentoBolsasFCT2019.pdf)

or

  1. a non-degree programme – art. 6º, n. 2

    (https://www.fct.pt/apoios/bolsas/docs/RegulamentoBolsasFCT2019.pdf )

Preferential factors:

Preference is given to candidates who have:

  1. experience with formal verification and with automated/interactive provers (e.g. Dafny, Verifast, Coq, Isabelle/HOL).
  2. proficiency in English
  3. proficiency in Portuguese

Selection process

The selection will be according to the following criteria:

  1. [50%] Academic record and motivation letter.
  2. [40%] Experience and proven knowledge in formal verification.
  3. [10%] Recommendation letters and references.

The evaluation panel may also decide to not assign the scholarship, if there are no candidates with relevant records and experience.

Additional comments

a) In the application submission, the candidates from portuguese education institutions may replace the copy of official academic degree certificate 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 the copy of official academic degree certificate 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:

https://www.dges.gov.pt/en/pagina/degree-and-diploma-recognition

Offer Requirements

  • REQUIRED EDUCATION LEVEL
    Engineering: Bachelor Degree or equivalent
  • REQUIRED LANGUAGES
    PORTUGUESE: Good
    ENGLISH: Good

Skills/Qualifications

The selected candidate will be a member of the research project PassCert, which aims at building an open-source, proof-of-concept password manager that through the use of formal verification, is guaranteed to satisfy properties on data storage and password generation. PassCert is a research collaboration between researchers from INESC-ID Lisboa (PT), INESC TEC (PT), and Carnegie Mellon University (US).

The selected candidate will:

1) Contribute to the development of the proof-of-concept verified password manager.

2) Explore the integration of formally verified components related to aspects such as data security.

3) Actively participate in and contribute to PassCert's activities and regular meetings.

4) Submit/Publish a research paper.

Specific Requirements

The candidates should have a BSc in Computer Science or related areas.

 

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

  1. a MSc programme – art. 6º, n.1

    (https://www.fct.pt/apoios/bolsas/docs/RegulamentoBolsasFCT2019.pdf)

or

  1. a non-degree programme – art. 6º, n. 2

    (https://www.fct.pt/apoios/bolsas/docs/RegulamentoBolsasFCT2019.pdf )

Preferential factors:

Preference is given to candidates who have:

  1. experience with formal verification and with automated/interactive provers (e.g. Dafny, Verifast, Coq, Isabelle/HOL).
  2. proficiency in English
  3. proficiency in Portuguese

Work location(s)
1 position(s) available at
INESC ID
Portugal
Lisboa
Lisboa
1000-029
Rua Alves Redol, 9

EURAXESS offer ID: 691050

Disclaimer:

The responsibility for the jobs published on this website, including the job description, lies entirely with the publishing institutions. The application is handled uniquely by the employer, who is also fully responsible for the recruitment and selection processes.

 

Please contact support@euraxess.org if you wish to download all jobs in XML.