Circulando a pedido de Giuseppe Primiero. JM
---------- Forwarded message ---------- Middlesex University London is offering a number of fully funded PhD research studentships across the university: http://www.mdx.ac.uk/research/applications/fees/bursaries/index.aspx These are three-year scholarships, covering UK/EU fees and offering a maintenance award. For 2013/14 the maintenance award is £13,863, which includes London weighting, and is free of tax and national insurance contributions. Non-EU students will be required to cover the difference between the UK/EU and International students fee. The difference currently is £5968. The research topics include areas that might be of interest to members of this list. A full list of projects for Computer Science can be found at http://www.mdx.ac.uk/research/applications/fees/bursaries/comp-sci.aspx The Foundations of Computing group, part of the School of Science and Technology, is keen to support qualified candidates who are interested in applying. In particular, we welcome proposals on the following topics: - Verification of Secure Weighted Doxastic Reasoning with Trust http://www.mdx.ac.uk/Assets/Secure%20Weighted%20Doxastic%20Reasoning.pdf - Formal Verification of Quantum Protocols http://www.mdx.ac.uk/Assets/Formal%20Verification.pdf - Analysis techniques for safety-critical interactive systems: theory and tools. http://www.mdx.ac.uk/Assets/Analysis%20techniques.pdf Proposals that maybe of interest to members of the Foundations Group, but not listed above are also welcome. Interested candidates should contact one of the group members (names and addresses are listed in the different projects) informally to discuss a possible project (candidates are asked to submit a personal research statement as part of their application). Successful candidates will be selected through a university-wide process. More information about the Foundations Group can be found at: http://www.cs.mdx.ac.uk/foundations/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
