Positions: 4

Research Grant (BI)

  • BI|2025/786 - BI|2025/787-Crypto_Chaves

    Type of position: Research Grant (BI)
    Duration: 6 months
    Deadline to apply: 2025-11-11
    Description

    TWO (2) research grants for students with MSc degree with reference number BI|2025/786 - BI|2025/787 under the scope of the cryptographic development task funded by the Crypto_Chaves project (HPCAS group), is now available under the following conditions:

     

    OBJECTIVES | FUNCTIONS 

    Development and definition of cryptographic implementations on reconfigurable devices.


    Contact email: bolsas@inesc-id.pt

  • BI|2025/785 Project Livranças Digitais2 (I3PR004035)

    Type of position: Research Grant (BI)
    Duration: 3 months
    Deadline to apply: 2025-11-07
    Description

    ONE (1) research grant for students enrolled in a PhD programme with reference number BI|2025/785 under the scope of the project Livranças Digitais2 (I3PR004035) - funded by INESC ID, is now available under the following conditions:

    OBJECTIVES | FUNCTIONS 

    The goal of this thesis is to study the dependability characteristics of the Cosmos blockchain and develop methods and techniques to automate the testing of the PLD blockchain platform. 


    Contact email: bolsas@inesc-id.pt

  • BI|2025/783-MYRIARCH– Refª 2022.09325.PTDC

    Type of position: Research Grant (BI)
    Duration: 3 months
    Deadline to apply: 2025-11-05
    Description

    The Myriarch project is focused on creating a multi-architecture Internet framework that preserves backward compatibility while fostering the Internet's evolution. This is achieved by integrating translation mechanisms directly into programmable hardware, including programmable ASICs, to ensure seamless interoperability across diverse network architectures.

    The goal of this fellowship is to develop advanced mechanisms for network function deployment and orchestration to assess and enhance the performance of the translation framework developed within the project. 


    Contact email: bolsas@inesc-id.pt

  • BI|2025/784-Project SafelaC – Refª LISBOA2030-FEDER-00866800

    Type of position: Research Grant (BI)
    Duration: 6 months
    Deadline to apply: 2025-11-03
    Description

    ONE (1) research grant for students with MSc degree with reference number BI|2025/784 under the scope of the Project SafelaC – Refª LISBOA2030-FEDER-00866800, funded by operation nº 15018, Balcão dos Fundos, FEDER and FCT, is now available under the following conditions:

     

    OBJECTIVES | FUNCTIONS 

    The selected candidate will be a member of the research project SafeIaC, which aims to create the first solution for reliable analysis and automated repair for Infrastructure as Code (IaC) that supports multiple technologies and provides formal correctness guarantees.

    The selected candidate will:

    1) Contribute to the creation of mathematical models that can be used to reason about correctness properties of IaC

    2) Contribute to the design, implementation, and correctness proofs of algorithms that can be used to detect and repair issues in IaC scripts

    3) Produce a technical report with all the research findings


    Contact email: bolsas@inesc-id.pt