
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=utf-8">

</head>

<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">We are looking to fill a postdoc position at the University of Lisbon in one or</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">more of the below topics. Particularly interesting to types is the</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">"Reliable Software Systems" research line, where candidates are expected to</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">work in the area of programming languages and program verification.</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class=""><br class="">

</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">* Accessibility and Ageing</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">* Cyber‐physical Systems</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">* Data and Systems Intelligence</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">* Health and Biomedical Informatics</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">* Reliable Software Systems</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">* Resilient Distributed and Networked Systems</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class=""><br class="">

</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">The positions are associated with LASIGE (<a href="https://urldefense.com/v3/__https://lasige.ciencias.ulisboa.pt__;!!IBzWLUs!RK6EJE1LsZom3NYlgNxn9dPGMooxlzaEqtz12D3a5DwLLp0DyDVi3sM117Pvs_RxbEJc20djsRxn7ZEMPOosAqzxXuX1S034PCjfpnZK$" class="">https://lasige.ciencias.ulisboa.pt</a>),

 a</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">research unit at the Faculty of Sciences, University of Lisbon. LASIGE was</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">evaluated as excellent in the last nationwide evaluation process.</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class=""><br class="">

</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">The position is funded by the Foundation for Science and Technology and lasts</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">until December 31str 2023. Applications are open until October 13, 2022. Plase</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">find tge Call for Applications in

<a href="https://urldefense.com/v3/__https://euraxess.ec.europa.eu/jobs/836534__;!!IBzWLUs!RK6EJE1LsZom3NYlgNxn9dPGMooxlzaEqtz12D3a5DwLLp0DyDVi3sM117Pvs_RxbEJc20djsRxn7ZEMPOosAqzxXuX1S034PBzrL_kE$" class="">https://euraxess.ec.europa.eu/jobs/836534</a>.</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class=""><br class="">

</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">Further information can be obtained from

<a href="mailto:lasige@ciencias.ulisboa.pt" class="">lasige@ciencias.ulisboa.pt</a>, from</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">myself, or from any of the researchers at LASIGE,</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class=""><a href="https://urldefense.com/v3/__https://lasige.ciencias.ulisboa.pt/phd-collaborators__;!!IBzWLUs!RK6EJE1LsZom3NYlgNxn9dPGMooxlzaEqtz12D3a5DwLLp0DyDVi3sM117Pvs_RxbEJc20djsRxn7ZEMPOosAqzxXuX1S034PPU8IBpc$" class="">https://lasige.ciencias.ulisboa.pt/phd-collaborators</a>.</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class=""><br class="">

</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">Vasco T. Vasconcelos</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">University of Lisbon</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class=""><br class="">

</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">About the University of Lisbon and the LASIGE research lab</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class=""><br class="">

</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">The University of Lisbon (ULisboa) is the largest university in Portugal and a</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">leading one within wider Europe. Comprising eighteen faculties, ULisboa offers</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">400 degree programmes at undergraduate and postgraduate level. Each year it</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">accepts more than 5,000 international students – around 10% of its total cohort</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">– who represent 100 different countries. ULisboa leads the main international</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">rankings, is amongst the 200 best universities worldwide according to the 2019</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">Shanghai Ranking.</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class=""><br class="">

</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">LASIGE is a research unit at ULisboa evaluated as Excellent by the Portuguese</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">Science Agency (FCT) in 2018, with a perfect score of 15 points. LASIGE closely</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">mentors more than 100 young researchers (at masters, doctoral, and post-doctoral</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">level), continually stimulating excellence in research. LASIGE members teach MSc</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">and PhD level courses in Computer Science and Engineering (CSE) at ULisboa,</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">regularly publish in top venues, and enjoy top-notch bibliometric indices.</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">LASIGE runs a large number of international projects, boasts three spin-offs,</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">and multiple technology transfers.</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class=""><br class="">

</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">The high-level research conducted at LASIGE, the scientific background and</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">international projection of its group leaders, the academic and industrial</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">network to which it belongs, and the experience in advanced training of its</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">members makes LASIGE the perfect research unit to work as a postdoc.</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class=""><br class="">

</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">If this was not enough, the city of Lisbon offers history and culture, shopping,</span></font></div>

<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class=""><font color="#000000" class=""><span style="caret-color: rgb(255, 255, 255);" class="">restaurants, nearby beaches and a vibrant nightlife.</span></font></div>

</body>

</html>