this post was submitted on 28 Aug 2023
61 points (93.0% liked)
Asklemmy
43946 readers
670 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!
- Open-ended question
- 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.
- Not regarding using or support for Lemmy: context, see the list of support communities and tools for finding communities below
- Not ad nauseam inducing: please make sure it is a question that would be new to most members
- An actual topic of discussion
Looking for support?
Looking for a community?
- Lemmyverse: community search
- sub.rehab: maps old subreddits to fediverse options, marks official as such
- [email protected]: a community for finding communities
~Icon~ ~by~ ~@Double_[email protected]~
founded 5 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
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.
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:
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