Working at HASLab

HASLab is located in the Braga Campus of Universidade do Minho, one of the top state funded research universities in Portugal and in the top 3% of Scimago IBE ranking. We are part of the INESC TEC Associate Laboratory. Braga is very close to the Peneda-Gerês Natural Park, and has good connections to Porto (and its vibrant cultural life) and the International Airport (30 min shuttle bus to Braga). It also has a very competitive cost of living in comparison to other European cities.


Post-doctoral

We are opening a call for five post-doctoral research fellowships (see details here or at ERACAREERS):

Reference Theme
BPD-2013_BestCase_RL3.1_UMINHO Theory, models and specific programming language for eventual consistent data management
BPD-2013_BestCase_RL4.1_UMINHO Models, calculi and tools for the verification of critical software for robotic applications
BPD-2013_BestCase_RL5.1_UMINHO Design and implementation of programming languages and tools for the development of secure software for smartgrids
BPD-2013_BestCase_RL8.1_UMINHO Tools for the formal verification of critical interactive systems through model checking and theorem proving
BPD-2013_BestCase_RL8.2_UMINHO The role of different verification tools – software model checkers, timed model checkers, theorem provers – in the verification of real time software

Doctoral

We are opening a call for five research fellowships (for MSc holders) (see details here or at ERACAREERS):

Reference Theme
BIM-2013_BestCase_RL3.1_UMINHO Algorithms and tools for mutable data aggregation and monitoring.
BIM-2013_BestCase_RL3.2_UMINHO Reliable data management of large volumes of data for storage and analytic processing
BIM-2013_BestCase_RL5.1_UMINHO Secure broadcast and data management protocols for smartgrids
BIM-2013_BestCase_RL8.1_UMINHO Tools for the formal verification of critical interactive systems through model checking and theorem proving
BIM-2013_BestCase_RL8.2_UMINHO The role of different verification tools – software model checkers, timed model checkers, theorem provers – in the verification of real time software applied to critical systems

Additionally, the group is currently offering the following opportunities to PhD candidates, in the context of the MAPi doctoral programme. Some of these provide project-supported funding for the first year of the programme as indicated; funding for the remaining years should be obtained by applying to an FCT grant.

Theme Proponent First-year funding
Quantitative analysis of interacting systems: foundations and algorithms Luis Soares Barbosa and Alexandra Silva Yes

MSc level

The following research fellowships (for Lic./BSc holders) are currently open:

Theme Proponent Funding
Desenvolvimento de um ambiente de geração e execução de casos de teste José Creissac Campos Yes (PBGT)