Research Opportunities

Computer Science

Work description

Design of a solution for improving the performance and balancing the load of checkpointing requests done by AI applications deployed at distributed HPC infrastructures. Development and experimental evaluation of the prototype.

The tasks described in this working plan demand the application and development of concepts and techniques in the area of Software Engineering which are usually introduced in curricular units included in the curricula of the Integrated MSc in Informatics Engineering or the MSc in Informatics Engineering studies.

Academic Qualifications

• BSc Degree in Computer Science or Informatics Engineering.

Minimum profile required

• Solid Knowledge on storage systems.
• Knowledge of Deep Learning and/or Large Language Models workflows.
• Experience in using PyTorch and/or TensorFlow in HPC infrastructures.
• Knowledge and experience in AI applications checkpointing.
• Knowledge of the LD_PRELOAD dynamic linking tool.

Preference factors

• Experience with C/C++ programming language.

Maintenance stipend: € 1040.98, according to the table of monthly maintenance stipend for FCT grants , paid via bank transfer. Grant holders may be awarded potential supplements, according to a quarterly evaluation process (Articles 19, 21 and 22 of the Regulations for Grants of INESC TEC and Annex II), up to a maximum limit of 50% of the monthly maintenance stipend.

INESC TEC supports costs with registration, enrolment or tuition fees, during the grant duration, under the terms established in the internal document: "Payment of Tuition fees to grant holders".

The grant holder will benefit from health insurance, supported by INESC TEC.

Application Period

Since 13 Nov 2025 to 26 Nov 2025

Centre

High-Assurance Software

Scientific Advisor

Cláudia Vanessa Brito

What we offer

• Multicultural and collaborative environment
• A multicultural, international and collaborative environment that makes it easier to exchange ideas, work in networks and create synergies.
• International projects
• The possibility of working in international projects with some of the most important companies in the field.
• Mentoring
• Mentoring with the best researchers in the fields of electrical and industrial engineering, bioengineering, information technology and physics.
• Self Improvement
• The possibility of participating in international conferences, workshops, seminars and vocational training.
• Other Benefits and Perks
• Flexible working time, health insurance, discounts in hotels, transportation, etc.

For more information: Click here