[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 [email protected] or from any of the researchers at LASIGE
(https://urldefense.com/v3/__https://www.lasige.pt/integrated-researchers__;!!IBzWLUs!AJkq5gLz76owJ-bjNgrMk2pghTQxnRdDvsadfPIK7TzhXlv_PUQMCb3wYa0MrDFMjz6nG2A46Q9KlQ$
).
