this post was submitted on 28 Aug 2023
61 points (94.2% liked)

Asklemmy

43855 readers
1818 users here now

A loosely moderated place to ask open-ended questions

Search asklemmy ๐Ÿ”

If your post meets the following criteria, it's welcome here!

  1. Open-ended question
  2. Not offensive: at this point, we do not have the bandwidth to moderate overtly political discussions. Assume best intent and be excellent to each other.
  3. Not regarding using or support for Lemmy: context, see the list of support communities and tools for finding communities below
  4. Not ad nauseam inducing: please make sure it is a question that would be new to most members
  5. An actual topic of discussion

Looking for support?

Looking for a community?

~Icon~ ~by~ ~@Double_A@discuss.tchncs.de~

founded 5 years ago
MODERATORS
 

cross-posted from: https://discuss.tchncs.de/post/2444019

I have electronics and digital design/verification background (MSc and some industry experience). As in the title, I am interested in learning and lately I got particularly interested in formal verification and started reading books, watching tutorials, on top of applying it at work. I really would like to learn more, participate to its advancement and contribute even slightest. I also enjoy academic environment. This is why I am considering a PhD. However leaving my job for full-time PhD means significant paycut even if I get into a funded PhD, also I am here on visa and many programs require you to pay the difference between foreign student price and domestic student price out of your packet, after receiving the funding. So leaving my job is likely not an option. I thought about doing a PhD part-time on top of my job. It will be very time and energy consuming, but I think I can take that. My bigger concern is, part-time PhD will take long time (6-8 years) and field is ever-changing, I am afraid my thesis may become irrelevant by the time I finish it. Also what I hear is that, if you do it part-time, you will not get the best subjects since professors would like to provide better supervision to and quick return from a full-time student. So I am hesitant about a PhD, even though it was something I was thinking of since a very young age. What do you think about a PhD, do you have any advice, some opportunity or downside which I did not consider? And if not with a PhD, how do I learn and research more? Reading and taking online courses are always options, but the problem is without any supervision, clear goal and guidance, I am sure I will get sidetracked and it may not be very fruitful.

you are viewing a single comment's thread
view the rest of the comments
[โ€“] wewbull@feddit.uk 3 points 1 year ago (1 children)

I hire people like you (ASIC verification) and generally the more academia someone has been through, the bigger problem I'm going to have getting them functional in a project.

I am interested in learning and lately I got particularly interested in formal verification and started reading books, watching tutorials, on top of applying it at work. I really would like to learn more, participate to its advancement and contribute even slightest.

Formal verification is a great topic, but the experts at actually applying it to problems are in industry, not in universities. What I'd suggest is trying to find companies that:

  1. Are heavy users of formal verification techniques. This means they are either big, because the software costs so much, or a company developing the software)
  2. Have somebody at them that speaks at industry events on the topic. Ideally they should be presenting new ways to do things.
  3. Have good mentoring systems

Then get a job there, ideally for the person that you identified and learn as much as you can from them.

One worry I usually have about working with academia is working on something so specialized with so many limitations that it cannot go further than becoming a toy example. I agree with you that industry probably is more promising for future development with many more experts. Thanks for your advice