<div dir="ltr">The Software Systems Group at the Department of Informatics, NOVA School of Science and Technology,<br><div class="gmail_quote"><div dir="ltr"><div dir="ltr">NOVA University Lisbon is opening a ttenure-track Assistant Professor position in all ares of “Software and its</div><div dir="ltr">Engineering” and “Theory of Computation” (as defined in the ACM Computing Classification System 2012). </div><div dir="ltr"><br></div><div dir="ltr">Software Systems Group at NOVA focus broadly on software and its engineering, in advanced education (BSc,</div><div dir="ltr">MSc and PhD) and research.  Key research themes include finding higher-level ways to specify, model, build and</div><div dir="ltr">compose heterogeneous systems and data sources, ensuring they are efficient, dependable and trustworthy (to</div><div dir="ltr">service providers and users), while enabling global accessibility, supporting rapid development, deployment</div><div dir="ltr">and continuous evolution. </div><div dir="ltr"><br></div><div dir="ltr">We aggregate a broad expertise in programming languages principles, design and implementation, algorithms,</div><div dir="ltr">and software engineering, allowing us to address a wide scope of research issues. We investigate new</div><div dir="ltr">foundations, new software development methods, new language concepts, new reasoning and formal verification</div><div dir="ltr">principles, and develop systems, prototypes and tools. Some of our research is developed in collaboration</div><div dir="ltr">with other lab groups and external academic and industrial partners. Active research topics include software</div><div dir="ltr">engineering and language-based approaches to concurrency, security, resource control, green and sustainable computing,</div><div dir="ltr">modularity, usability, and agility, and their integration in software development environments. We are open to</div><div>new areas and topics as well.</div><div dir="ltr"><br>We have a strong international presence in the Programming Languages and Software Engineering</div><div dir="ltr">communities, delivered highly cited seminal contributions, and position as the national software group</div><div dir="ltr">with the broader and higher impact in software research (e.g., record at ICSE, POPL, ESOP, ICFP, ECOOP,</div><div dir="ltr">OOPSLA, VLDB, MODELS, CAiSE, RE, TSE, ASE, JSS, JSQ, Inf&C, TCS, JFP). </div><div dir="ltr"><br></div><div>Lisbon is a very nice place to live in all accounts, and currently a rising star city for everything related to research<br></div><div>and innovation, with a thriving academic environment.</div><div><br></div><div>Detailed info for the call here:</div><div dir="ltr"><br></div><div dir="ltr"><a href="https://urldefense.com/v3/__https://www.fct.unl.pt/sites/default/files/documentos/concursos/public_notice_715_2022.pdf__;!!IBzWLUs!Rr_lnp0lrESp7nEwTd1-uW9t5Ie7rbeohPhC1-g0stw1A9O6YDQ_kxyhEsNfx73D8qbSOIOjptlsaGCLTcHo8FyT2j76JW1csg$" target="_blank">https://www.fct.unl.pt/sites/default/files/documentos/concursos/public_notice_715_2022.pdf</a><br></div><div dir="ltr"><br></div><div>Contact Luis Caires (<a href="mailto:lcaires@fct.unl.pt" target="_blank">lcaires@fct.unl.pt</a>) for any further information.</div><div></div><div><br></div></div></div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div dir="ltr">Best regards,</div><div dir="ltr"><br>Luis Caires</div><div dir="ltr">Director of NOVA Laboratory for Computer Science and Informatics<br></div><div dir="ltr">Departamento de Informática<br>FCT Universidade Nova de Lisboa<br><a href="https://urldefense.com/v3/__http://ctp.di.fct.unl.pt/*lcaires__;fg!!IBzWLUs!Rr_lnp0lrESp7nEwTd1-uW9t5Ie7rbeohPhC1-g0stw1A9O6YDQ_kxyhEsNfx73D8qbSOIOjptlsaGCLTcHo8FyT2j6P6HllHQ$" style="color:rgb(17,85,204)" target="_blank">http://ctp.di.fct.unl.pt/~lcaires</a></div></div></div></div></div></div>