Hi Carsten,
Would you say that a PhD in computer science is useful in industry, or do you expect applicants to be pursuing a career in academia?
Riz
Sent with ProtonMail Secure Email.
‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐
On Wednesday, August 25th, 2021 at 10:52, Carsten Fuhs <[log in to unmask]> wrote:
> 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/
########################################################################
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/
|