this post was submitted on 28 Aug 2023
54 points (93.5% liked)
Asklemmy
43963 readers
1956 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
- !lemmy411@lemmy.ca: a community for finding communities
~Icon~ ~by~ ~@Double_A@discuss.tchncs.de~
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
Can you switch to a job with more of a research focus? Maybe that is hard to find in the area that you want (I have no idea what formal verification actually is).
As someone who has been through it the mental and financial toll is indeed significant, so you are smart to be asking about it.
Thank you for your advice. It is a nice idea to look for a job with more research focus. I am guessing the tool vendors may offer research related jobs regarding formal verification which limits the options to a few US-based companies, but I will definitely look into it.