Lado B

Ready to take-off?


INESC TEC, in the words of our partners – Statement by Pedro Malaca from SARKKIS.


"To quote an article that I’ve recently read: “Good people don’t just work for a salary. They want to contribute for the success.", Ana Rebelo (CTM)

Serious Thinking

Just because someone buys meat in a butcher's shop doesn't mean it is free of biogenic amines. And remember... when asking for minced meat make sure you watch them doing it!, Luís Coelho (CAP)

Gallery of the Uncommon

In an R&D institution related to technologies (..) it’s rare for anyone to infect their computer by opening a link they shouldn't have, but this email that we'll be talking about, almost deceived us.

Where are you now?

Every month INESC TEC sends highly qualified individuals into the market...

Jobs 4 the Boys & Girls

In this section, the reader may find reference to public announcements made by INESC TEC offering grants, contracts and other opportunities.


INESC TEC receives students of the Summer on the Campus 2019

The Computation Without Borders, an activity integrated in the Summer on the Campus 2019 programme and organised in collaboration with INESC TEC's High-Assurance Software Laboratory, had the participation of 28 secondary school students and took place between 22 and 26 July in the Department of Informatics of the University of Minho, in Braga.

The participants of the 12th edition of Summer on the Campus, coming from various secondary schools of the north of the country, had the opportunity to start the week with sessions on Distributed Systems and Protocols, Cryptography and Information Security, as well as the opportunity to learn the programming language known as Haskell, by solving increasingly complex problems such as the Towers of Hanoi. In addition to this, the Software in Robotics and the Quantum Computing were other areas addressed during the activity.

Every year the Computation Without Borders aims to introduce secondary school students to problem analysis, to its abstract modelling and to the building of algorithmic solutions. This way, the students tried the attractive task of programming a computer to solve complex problems while at the same time getting to know the educational offer of the Department of Informatics of the University of Minho, as well as the corresponding associated student centres.

The HASLab team that was involved in this activity included Ana Néri, Ana Nunes Alonso, Hugo Pacheco, José Nuno Oliveira, Nuno Macedo and Tiago Oliveira.


The researchers mentioned in this news piece are associated with INESC TEC and UMinho.