The High Assurance Software Lab (HASLab) is an R&D unit at INESC TEC, a leading research institution in Portugal. The HASLab specialises in the rigorous development of software applications for critical systems and infrastructures, drawing on expertise in software engineering, dependable distributed systems, and cryptography and information security.

The HASLab has opened some positions for Post Doctoral researchers and for Ph.D. students, and is offering a significant number of internships to prospective Ph.D. candidates.