[TYPES/announce] Faculty Position at the Computer Science Department University of Malta

[Adrian Francalanza]

We have recently issued a call for a position at the Department of Computer Science here at the University of Malta. 

https://www.um.edu.mt/__data/assets/pdf_file/0004/385501/PostinComputerScience.pdf <https://www.um.edu.mt/__data/assets/pdf_file/0004/385501/PostinComputerScience.pdf> 

The call is open, and includes fields of specialisation such as:
* Programming language design and implementation 
* Program logics, type systems and other formal methods 
* Multi-agent, concurrent and distributed systems
* Computational complexity, possibly applied to automated reasoning for resource analysis

A few ongoing projects within the department that are related to these themes are:

* https://www.um.edu.mt/projects/behapi/ <https://www.um.edu.mt/projects/behapi/> 
* http://icetcs.ru.is/theofomon/ <http://icetcs.ru.is/theofomon/>  
* https://re-search.info <https://re-search.info/> 

The deadline for the call is March 15, 2019.  Feel free to contact me or anyone else from the department for further information.

Best regards,

Adrian Francalanza 
Associate Professor, Faculty of ICT, University of Malta
p: +356 2340 2745 <tel:+356%202340%202745> a: Room B05, Faculty of ICT, University of Malta, Msida, Malta e: adrian.francalanza at um.edu.mt <mailto:adrian.francalanza at um.edu.mt>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190301/82531e7a/attachment.html>