[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Why is this announcement relevant to the types community? The call is open on a
series of CS areas, the most relevant for types being 'Reliable Software
Systems', a research group interested in type systems (session types in
particular), logic, programming languages and software verification.
——
University of Lisbon -- Two Postdoctoral Positions
We are looking to fill two postdoc positions at the University of Lisbon in one
or more of the following topics.
* Reliable Software Systems
* Accessibility and Ageing
* Cyber‐physical Systems
* Data and Systems Intelligence
* Health and Biomedical Informatics
* Resilient Distributed and Networked Systems
The positions are associated with LASIGE (https://lasige.ciencias.ulisboa.pt),
a research unit at the Faculty of Sciences, University of Lisbon. LASIGE was
evaluated as excellent in the last nationwide evaluation process.
The successful applicants will work at the LASIGE research unit in
collaboration with one or more LASIGE researchers. (Due to current pandemic
situation, work during initial portion of the position is likely to happen
remotely.) The position will start at a mutually agreeable date, ideally in the
Spring 2021.
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 32 months. Compensation, in the range of €30.000 to €41.500, will be
commensurate with experience. Applications are open until March 31, 2021.
Further information can be obtained from [email protected] or from any
of the researchers at LASIGE
(https://lasige.ciencias.ulisboa.pt/integrated-researchers,
https://lasige.ciencias.ulisboa.pt/phd-collaborators).
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 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.
