[ecoop-info] Postdoc position at the University of Lisbon

[Vasco Thudichum Vasconcelos]

University of Lisbon -- One Post Doctoral Research Fellowship

We are looking to fill one post-doctoral research fellowship in the area of programming languages, type systems and logics. The position is funded by the research project "SafeSessions - Safe Concurrent Programming with Session Types", https://www.lasige.pt/project/safesessions/.

We seek applicants with strong interest in some of the following topics: programming language design and implementation, logics and types, concurrency and distribution. Applicants should hold a PhD degree in Computer Science or related area.

The position is funded by the Foundation for Science and Technology for an initial period of 12 months, renewable until the end of the project (February 29, 2024 or six months thereafter). Applications are open until February 15, 2022.

The complete offer description can be found at https://www.euraxess.pt/jobs/721789. Further information can be obtained from lasige-candidaturas at listas.di.ciencias.ulisboa.pt. Applicants are encouraged to contact Professor Vasco T. Vasconcelos directly.


About the University of Lisbon and the LASIGE research lab

The University of Lisbon (ULisboa) is the largest university in Portugal and a leading one within wider Europe.  Comprising eighteen faculties, ULisboa offers 400 degree programmes at undergraduate and postgraduate level.  Each year it accepts more than 5,000 international students – around 10% of its total cohort – who represent 100 different countries. ULisboa leads the main international rankings, is amongst the 200 best universities worldwide according to the 2019 Shanghai Ranking.

LASIGE, https://www.lasige.pt, is a research unit at ULisboa evaluated as Excellent by the Portuguese Science Agency (FCT) in 2018, with a perfect score of 15 points. LASIGE closely mentors more than 100 young researchers (at masters, doctoral, and post-doctoral level), continually stimulating excellence in research. LASIGE members teach MSc and PhD level courses in Computer Science and Engineering (CSE) at ULisboa, regularly publish in top venues, and enjoy top-notch bibliometric indices. LASIGE runs a large number of international projects, boasts three spin-offs, and multiple technology transfers.

The high-level research conducted at LASIGE, the scientific background and international projection of its group leaders, the academic and industrial network to which it belongs, and the experience in advanced training of its members makes LASIGE the perfect research unit to work as a postdoc.

If this was not enough, the city of Lisbon offers history and culture, shopping, restaurants, nearby beaches and a vibrant nightlife.