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.
MSc level
The following research fellowships (for Lic./BSc holders) are currently open: