[TYPES/announce] Two postdoc contracts at the University of Lisbon

[Vasco Thudichum Vasconcelos]

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 lasige at ciencias.ulisboa.pt 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.