Riz,

> 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?

It depends on what you learn during your PhD.
If your research involves vibrating widgets, and
industry decides that vibrating widgets are the
next hot thing, then you will be in great demand.
Otherwise, nobody will care about your deep
knowledge of vibrating widgets.

The only reason for doing a PhD a is because you
need to tick the PhD box (to become an academic),
you want to impress people socially (not such a
big impact these days), you don't want move
into the outside world, or you have a passion for
vibrating widgets (or something else).

> 
> 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/
> 

-- 
Derek M. Jones           Evidence-based software engineering
blog:shape-of-code.coding-guidelines.com

########################################################################

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/