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:
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.