Open Position

DIVINA - CMU/TIC/0053/2021 - BII|2022/321

Type of Position: Undergraduate Research Fellowship (Bolsa de Introdução à Investigação)

Type of Contract: Research grant

Duration: 4 Months

Limit to reply: 2022-Aug-19


The student will join the project DIVINA, Detecting Injection Vulnerabilities in Node. Applications, in the scope of its second task, whose main goal is to build a new platform for detecting and confirming injection vulnerabilities in Node. The student will develop an automatic symbolic test generator for confirming potential injection vulnerabilities detected by a separate static analysis, currently being developed by other project members. The symbolic tests to be generated will be executed in the JaVerT tool, which will have to be extended with new symbolic reasoning facilities.


José Faustino Fragoso Femenin dos Santos



Phone Number: