A research position for one Research Grant (?Bolsa de Investigação?) is open at Instituto de Telecomunicações, in the scope of the Project DIVINA - PTDC/CCI-COM/32378/2017. This project is funded by FCT/MCTES through national funds and when applicable co-funded EU funds under the PTDC/CCI-COM/32378/2017 project reference. 

<b>Scientific Area:</b>
<br/>Basic Sciences and Enabling Technologies 

<b>Group:</b>
<br/>Security and Quantum Information - Lx 

<b>Admission Requirements:</b>
<br/>Research grants are intended: - for students enrolled in a degree-conferring course to carry out R&amp;D activities with the aim to consolidate their scientific training through the development of research work leading to the attainment of the respective academic degree or completion of the course (integrated or not in R&amp;D projects). - for students enrolled in courses that do not confer an academic degree but which are integrated in an educational project of a higher education institution and are developed in association or cooperation with one or several R&amp;D units. In what concerns the admission requirements for this research grant in particular: 
<br/><li>BSc in Computer Science or related area</li>
<br/><li>Be enrolled on a MSc program in Computer Science or related area, or in a course that does not confer an academic degree</li>
<br/><li>Experience in both using and developing symbolic execution tools </li>
<br/><li>Experience in using SMT solvers</li>
<br/>

<b>Work Objectives:</b>
<br/>The research fellow will join the project DIVINA, Detecting Injection Vulnerabilities in Node.js Applications. The research fellow will be mainly integrated in Task 3 - Summaries for Built-in Functions, whose goal is to develop taint summaries for highly used JavaScript built-in functions, more concretely in T3.2 - Taint Summaries, and partially in the Evaluation Package (Task 4).
<br/>The work program of the research fellow is to investigate the possibility of automatically synthesizing taint policies according to a policy template. To synthesize such a policy, we will consider calling the built-in functions with combinations of tainted and untainted inputs and observe whether the return value contains any of the tainted values from the input.
<br/>The research fellow will also be involved in the evaluation of the developed solution in the context of Task 4.
<br/>

<b>Applicable legislation:</b>
<br/>A fellowship will be celebrated according to ?Estatuto do Bolseiro de Investigação?, according to Law no. 40/2004, dated on 18th of August (Status of Scientific Research Fellow - https://www.fct.pt/apoios/bolsas/estatutobolseiro.phtml.pt), in its actual redaction, by Fellowship Regulation of Fundação para Ciência e Tecnologia (https://www.fct.pt/apoios/bolsas/regulamento.phtml.pt), according to Reg. 950/2019, dated on 16th of December, and also by ?Regulation of Instituto de Telecomunicações? fellowships?. 

<b>Place of work:</b>
<br/>The work will be developed at the premises of Instituto de Telecomunicações ? Lisboa, under the supervision of Professor Pedro Miguel dos Santos Alves Madeira Adão 

<b>Duration:</b>
<br/>6 months, with the possibility of renewal (according to the regulations defined by FCT). Start date: August 1, 2022 or soon thereafter. 

<b>Monthly salary:</b>
<br/>875,98?, according to the table of grant amounts awarded directly by FCT for positions held in Portugal (www.fct.pt/apoios/bolsas/valores) / according to the table of grant amounts awarded directly by Instituto de Telecomunicações. The payment will be made by bank transfer. 

<b>Selection criteria:</b>
<br/><ul>
 <li>C1 (50%)<br/>Curriculum vitae/Academic evaluation </li>
 <li>C2 (50%)<br/>Suitability of the candidates' profile to the project based on admission requirements and relevant work experience in both using and developing symbolic execution tools</li> 
</ul>
<br/>Each criteria, and the final classification F will be evaluated in a scale (0-20). The candidates will be ordered according to: 
<br/>F = C1 x 50% + C2 x 50% 
<br/>In case of a tie, the tied candidates will be ordered according to C1, then C2... 
<br/>The Jury has the right to not admit any of the candidates that applied for this position whenever they consider that no candidate meets the minimum requirements for the position. 

<b>Jury:</b>
<br/><ul>
 <li>Prof. Pedro Miguel dos Santos Alves Madeira Adão, Instituto Superior Técnico (President of the jury)</li> 
 <li>Prof. Paulo Alexandre Carreira Mateus, Instituto Superior Técnico</li> 
 <li>Prof. Nuno Miguel Carvalho dos Santos, Instituto Superior Técnico</li> 
 <li>Prof. Carlos Manuel Costa Lourenco Caleiro, Instituto Superior Técnico (Substitute)</li> 
</ul>

<b>Communication of the results:</b>
<br/>Results will be published at the Instituto de Telecomunicações, Lisboa. The selected candidate will be notified by email. 

<b>Required Documents:</b>
<br/>Cover letter explaining the interest in the position and relevant background, detailed Curriculum Vitae with transcripts, Copy of the relevant certificates (Copy of the Degree Certificate(s), if applicable); and proof of enrollment (or proof of acceptance) in a higher education course or declaration of intention to enroll in a higher education course. 
<br/>NOTE: The proof of enrollment in a higher education course must be made until the contract is signed. 
<br/>Apply online clicking on the ?Apply Now? button. 
<br/>After the notification of the results, candidates have 10 working days if they wish to contest the decision.
<br/>E-mail submissions will not be considered. (The cover letter and the CV are mandatory documents in the online application platform) 
<br/>All the selection process is conducted through the IT web portal. No actions outside this platform are valid. 

<b>Application Period:</b>
<br/>30-06-2022 to 13-07-2022 

<b>Assistance:</b>
<br/>Send Email 

<b>Published on:</b>
<br/>29-06-2022