[TYPES/announce] Tenure-track Assistant Professor Position Open at NOVA University Lisbon (PL \/ SE)

Luis Caires lcaires at fct.unl.pt
Sat Jun 18 16:48:01 EDT 2022


The Software Systems Group at the Department of Informatics, NOVA School of
Science and Technology,
NOVA University Lisbon is opening a ttenure-track Assistant Professor
position in all ares of “Software and its
Engineering” and “Theory of Computation” (as defined in the ACM Computing
Classification System 2012).

Software Systems Group at NOVA focus broadly on software and its
engineering, in advanced education (BSc,
MSc and PhD) and research.  Key research themes include finding
higher-level ways to specify, model, build and
compose heterogeneous systems and data sources, ensuring they are
efficient, dependable and trustworthy (to
service providers and users), while enabling global accessibility,
supporting rapid development, deployment
and continuous evolution.

We aggregate a broad expertise in programming languages principles, design
and implementation, algorithms,
and software engineering, allowing us to address a wide scope of research
issues. We investigate new
foundations, new software development methods, new language concepts, new
reasoning and formal verification
principles, and develop systems, prototypes and tools. Some of our research
is developed in collaboration
with other lab groups and external academic and industrial partners. Active
research topics include software
engineering and language-based approaches to concurrency, security,
resource control, green and sustainable computing,
modularity, usability, and agility, and their integration in software
development environments. We are open to
new areas and topics as well.

We have a strong international presence in the Programming Languages and
Software Engineering
communities, delivered highly cited seminal contributions, and position as
the national software group
with the broader and higher impact in software research (e.g., record at
ICSE, POPL, ESOP, ICFP, ECOOP,
OOPSLA, VLDB, MODELS, CAiSE, RE, TSE, ASE, JSS, JSQ, Inf&C, TCS, JFP).

Lisbon is a very nice place to live in all accounts, and currently a rising
star city for everything related to research
and innovation, with a thriving academic environment.

Detailed info for the call here:

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$ 

Contact Luis Caires (lcaires at fct.unl.pt) for any further information.

-- 
Best regards,

Luis Caires
Director of NOVA Laboratory for Computer Science and Informatics
Departamento de Informática
FCT Universidade Nova de Lisboa
https://urldefense.com/v3/__http://ctp.di.fct.unl.pt/*lcaires__;fg!!IBzWLUs!Rr_lnp0lrESp7nEwTd1-uW9t5Ie7rbeohPhC1-g0stw1A9O6YDQ_kxyhEsNfx73D8qbSOIOjptlsaGCLTcHo8FyT2j6P6HllHQ$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220618/d01c3e9f/attachment-0001.htm>


More information about the Types-announce mailing list