HASLab

High-Assurance Software Laboratory

Overview


News

  • New Paper: J.N. Oliveira. Weighted automata as coalgebras in categories of matrices. IJFCS Vol. 24, No. 6 (2013) 709–728, WSP Company. DOI: 10.1142/S0129054113400145
  • New Paper: H.D. Macedo and J.N. Oliveira. Typing Linear Algebra: a Biproduct-oriented Approach. SCP 78:11, pp.2160-2191 (DOI 10.1016/j.scico.2012.07.012)
  • New Paper: J.C. Campos and J. Machado, A Specification Patterns System for Discrete Event Systems Analysis, Int. J. Adv. Robotic Systems, vol. 10, 2013, doi:110.5772/56412
  • Job Opportunities: We are opening five post-doctoral positions. tinynew.gif Details here
  • New Paper: José N. Oliveira, Miguel A. Ferreira, "Alloy Meets the Algebra of Programming: A Case Study," IEEE Transactions on Software Engineering, vol. 39, no. 3, pp. 305-326, March 2013, doi:10.1109/TSE.2012.15

                        (more...)

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)


r17 - 31 May 2013 - 13:31:23 - AlcinoCunha
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM