[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/hrmd/recruitment/generalrecruitment/residentacademicfulltimepostincomputerscience

The call is open, and includes fields of specialisation such as (and in no particular order):
* Programming language design and implementation 
* Computational complexity
* Automated reasoning for resource analysis
* Multi-agent, concurrent and distributed systems
* Program logics, type systems and other formal methods 


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/> 
* https://locard.eu <https://locard.eu/>


The deadline for the call is March 18, 2020.  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/20200306/045c7e6e/attachment-0001.html>