[TYPES/announce] Two PhD positions at the university of Lisbon

[Vasco Thudichum Vasconcelos]

We are looking to fill two PhD positions at the University of Lisbon from early 2022.
Several research areas are available; relevant to Types and Programming Languages is the area of Reliable Software Systems, https://urldefense.com/v3/__https://www.lasige.pt/research-line/reliable-software-systems__;!!IBzWLUs!AJkq5gLz76owJ-bjNgrMk2pghTQxnRdDvsadfPIK7TzhXlv_PUQMCb3wYa0MrDFMjz6nG2CNdcIzyA$ .

The positions are associated with LASIGE (https://urldefense.com/v3/__https://www.lasige.pt__;!!IBzWLUs!AJkq5gLz76owJ-bjNgrMk2pghTQxnRdDvsadfPIK7TzhXlv_PUQMCb3wYa0MrDFMjz6nG2CyMWBPag$ ), a research unit at the Faculty of Sciences, University of Lisbon. LASIGE was evaluated as excellent in the last nationwide evaluation process.

The position is funded by the Foundation for Science and Technology for a period of up to four years, includes the tuition fee and financial support for activities related to the prosecution of the degree.

Requirements. Applicants should hold an MSc degree (5 years, 300 ECTS) in Computer Science or in a related area.

Applications are open until January 10, 2022.

Further information at https://urldefense.com/v3/__https://www.euraxess.pt/jobs/722827__;!!IBzWLUs!AJkq5gLz76owJ-bjNgrMk2pghTQxnRdDvsadfPIK7TzhXlv_PUQMCb3wYa0MrDFMjz6nG2CM1fDuAQ$ , from lasige at ciencias.ulisboa.pt or from any of the researchers at LASIGE (https://urldefense.com/v3/__https://www.lasige.pt/integrated-researchers__;!!IBzWLUs!AJkq5gLz76owJ-bjNgrMk2pghTQxnRdDvsadfPIK7TzhXlv_PUQMCb3wYa0MrDFMjz6nG2A46Q9KlQ$ ).