Dear all,
A fully funded PhD studentship covering fees at Home rate, plus an annual stipend of £17,609, has become available at the Department of Computer Science and Information Systems at Birkbeck, University of London:
https://www.bbk.ac.uk/student-services/financial-support/phd-funding/computer-science-and-information-systems-studentships
The application deadline for the studentship is already on 1 September 2021 (apologies for the short notice).
I would personally welcome applications in any area of program analysis and verification, including but not limited to
* termination analysis
* time and space complexity analysis
* program equivalence proving
* term rewriting
* automated reasoning and deduction
For example, you could work on the following project:
Static Analysis of Termination and Time Complexity for Rust Programs
https://www.dcs.bbk.ac.uk/research/proposed-phd-research-projects/static-analysis-of-termination-and-time-complexity-for-rust-programs/
Please contact me in the next days if you'd like to work with me towards a PhD - I'll be happy to discuss your research proposal with you.
Best regards,
Carsten
--
Carsten Fuhs
Birkbeck, University of London
Department of Computer Science and Information Systems
http://www.dcs.bbk.ac.uk/~carsten/
########################################################################
To unsubscribe from the SREPLS list, click the following link:
https://www.jiscmail.ac.uk/cgi-bin/WA-JISC.exe?SUBED1=SREPLS&A=1
This message was issued to members of www.jiscmail.ac.uk/SREPLS, a mailing list hosted by www.jiscmail.ac.uk, terms & conditions are available at https://www.jiscmail.ac.uk/policyandsecurity/
|