[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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://urldefense.com/v3/__https://www.lasige.pt/project/safesessions/__;!!IBzWLUs!A2S_14d2AW5szG565PdsS_-WGxz9tgiyFXWyJtiRYtTTta3AONbI602l85wghr-phhaVjb_UCBGYxw$
.
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://urldefense.com/v3/__https://www.euraxess.pt/jobs/721789__;!!IBzWLUs!A2S_14d2AW5szG565PdsS_-WGxz9tgiyFXWyJtiRYtTTta3AONbI602l85wghr-phhaVjb8bu0XBiQ$
. Further information can be obtained from
[email protected]. 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://urldefense.com/v3/__https://www.lasige.pt__;!!IBzWLUs!A2S_14d2AW5szG565PdsS_-WGxz9tgiyFXWyJtiRYtTTta3AONbI602l85wghr-phhaVjb-lI63vlA$
, 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.
