[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We welcome applications for a fulltime postdoctoral research position at the University of Lisbon. The position is funded by the research project "CONFIDENT - Communication Contracts for Distributed Systems Development", http://gloss.di.fc.ul.pt/content/confident, a three year collaborative project between a team at the Faculty of Sciences (including Vasco T. Vasconcelos and Antónia Lopes) and another at Tecnico (Paulo Mateus and Pedro Adao). The objective of the project is the development of tools and technology for describing, testing, statically verifying, and inferring communication contracts for the effective construction and evolution of complex distributed systems, notably RESTful applications. Particular attention will be given to the validation of security requirements of APIs. We plan to integrate the theory of behavioural type systems into a notion of communication contracts, effective in driving the software development life cycle of RESTful applications. We seek applicants with strong interest in some of the following topics: programming language design and implementation, programming logics and types, language-based security, verification and testing, concurrency and distribution. The contract is for one year, extensible for a second year. Applicable administrative rules may be found at the FCT site, http://www.fct.pt/apoios/bolsas/index.phtml.en. Applications should include a curriculum vitae in pdf format, contact details for three referees, and should be sent to LaSIGE - Large-Scale Informatics Systems Laboratory http://www.lasige.di.fc.ul.pt Email: Pedro Gonçalves, pgoncal...@di.fc.ul.pt Phone: +351 21 750 05 32 Interested applicants are encouraged to contact Professor Vasco T. Vasconcelos directly. Application deadline: 30th June 2017