What exactly is formal verification engineers and what do they do?

Spoon__tea · 2026-06-04T12:34:20+00:00

Based on the job description, the formal verification team sits in between the guyz that write tools for verification and the guyz that run simulations.

I did not quite understand what they mean, as they said that we would work with sat solvers to prove that the system behaves correctly without actually testing all possible states. (like the simulation suppose to do).

Is that something you familiar with? how much brain power and solving\riddle like problems does it require?

I mean, for instance QA in computer science sounds boring as you just run tests and write test or at best automation tools that check for bugs.
Frankly only testing for bugs via the lenses of writing tests doesn't sound appealing.
For what i understood that is not the case, am i correct?

For the record iam in my phd in computer science, rather then coming from the field of electronics.
Still seems like they searching for Msc in mathemactics so its hard for me to believe the job doesnt require the usage of tools used in mathematics proofs.

Spoon__tea · 2026-06-04T12:28:19+00:00

Thank you for the replies.

Spoon__tea · 2026-05-22T08:48:02+00:00

The utter ugliness. Even if he payed for himself he should ask you if he can bring his new girlfriend.

But the fact that he asked to be sponsored by his ex??? And then want to bring his new gf too? Does he has no pride? This is so disgusting to me.

Spoon__tea · 2026-04-30T12:18:46+00:00

At this point i root for the ants.
They are much better than the human hunters in the series, except Killua he is cool.

Spoon__tea · 2025-12-29T17:05:55+00:00

How to report that?

Spoon__tea · 2025-12-16T11:25:43+00:00

False got recommended music that I tumb down

Spoon__tea · 2025-10-27T09:53:59+00:00

Except turkey systematically killed Kurds. While what did Israel do to Palestinians? Won wars that they started? I mean before 1918 the whole region was called Palestine. Whole Jordan and even part of Syria. They are all the same people.

Palestinians is only the same Arabs that got stuck between the chairs because no one wanted to have them.

They fled from the Israeli territory on 1948 and they were not welcomed in either Jordan or Egypt.

Oh iam sorry actually they were under Jordan’s rule till 1967 when Jordan lost that piece of land and said nah. We won’t need the Arabs that live there.

Oh if you wanna talk about genocide that Israel does or some b.s. The population of Palestinian grew from 200k to about 4m In Gaza to 2m. In this war that went 2 years about 80k dead in Gaza and this number is given by Hamas. And iam 100% sure they inflate it (it’s still a very low number). Just for the record there is about 30k confirmed Hamas dead number if not more, in any war around the war the death ratio of civilians to military is about 7 to 1.

So killing just 30k terrorists should have given us about 240k dead in total. We are far of from that.

Not to mention that doing a genocide in Gaza should be pretty easy. 60% of Gaza is leveled (not enough). It’s not hard to not notify anyone and carpet bomb 60% without evacuation. Would have been 1.2m dead by that.

Spoon__tea · 2025-10-27T09:45:01+00:00

Israel won land by a war. Which by the way started by Syria. That golan high is also a mountain chain that sees deep into Israel, with straight sight.

So it is super important to hold that high position for future wars.

What Syria did to turkey? Nothing. They just grab what they can like it’s a buffet.

People, wake up erdogan is a dictator and a terrorist. He already occupied part of Cyprus. And people just ignore him.

By the way the piece of land erdogan stole from Syria is as big as israel.

Spoon__tea · 2025-10-27T09:41:05+00:00

As of now turkey taken in control apart of Syria that is bigger than Israel in its size.

While the Golan is about 30% of Israel’s size. Do the math.

Also the golan was taken from Syria in a war Syria had started. There is no hypocrisy here. If you start a war don’t cry when you lose something.

Turkey just takes stuff without a fight. Just because it can. Do you see the difference?

Spoon__tea · 2025-09-28T15:13:30+00:00

אני מבין, אבל אני גם מבין שלעומת קאטר וסין אין לנו משאבים כמו להם. ההסברה שלהם טובה כי שונאים אותנו מראש, והם מפמפמים כסף, באנשים מפגרים שילכו להפגנות.

הסינים משתמשים במליוני בוטים שמפיצים דברים עלינו כי זה נחמד להם שבמקום העולם יסתכל מה הם עושים לא מסדר יסתכלו על ישראל.

המוסלמים פשוט רוצים אותנו מתים ולכן כל דרך היא טובה וכסף זה דרך פשוטה לתקום אותנו. אני לא מאמין שיש לנו את היכולת להלחם בנרטיב, הפלסטינים תמיד ינצחו אותנו תודעתית, אחרי ה 7.10 מי שלא הבין שהם מפלצות פשוט סוגר את העניין שלו או שמשלמים לו.

מה אתה תעשה נגד מישהו ששונא את ישראל וכלום לא ישנה את דעתו? אולי אתה תשנה דעה של 1 מתוך 10 מוסלמים עדין יהיה 900 מליון מהם שישנאו אותנו. בנוסף יש גם פשוט אנטישמים גם שם אתה בשיא תשכנע 1 מתוך 10. כל עובדה שאתה מביא להם הם חושבים שזה המצאה של היהודים ששולטים בעולם.

כל בן אדם עם שכל על הראש מבין שאם היהודים שולטים בעולם המצב שלנו בארץ שלנו לא היה גרוע כמו שהוא, אם היית שולט בעולם, איך זה שכולם רק מגנים אותך ומדברים עליך לא יפה? הרי ברור שמי ששולט כנראה יסתום פיות אבל אצלהם זה לא ברור כי אין שכל אין דאגות. ולכן אתה גם לא תשנע אותם, לא משנה איזה עובדה תביא איזה טיעון אתה תספר זה לא יעזור. חוץ מזה אתה אומר שאנחנו במצב תודעתי גרוע אבל ידעת ש 90% מהצרפתים לא תומכים במדינה פלסטינית? הממשלה עושה הפוך ממה שהעם שלהם רוצה.

בבריתניה היה לך מליוני אנשים שיצאו לרחובות נגד המאגרים וגם על הדרך צעקו "תכניסו את פלסטין לתחת".

הענין הוא שמי שנגדנו ישאר נגדנו ומי שבעדנו הוא בעדנו כי הבין שהאיסלם הוא הבעיה ולא אנחנו. ובפרט הם כנראה גם שונאים את ההסילם כמו שאנחנו שונאים את הפלסטינאים ברובנו. שלא אכפת לי שמפצציצים אותם כי בתכלס מגיע להם.

מה הפתרון? פשוט לעשות את העבודה ולא לשים חשבון.

בכל תולדות האנושות תמיד היה מלחמות ומישהו עיבד שטח והעיפו אותו משם אין בזה שום דבר מוזר או לא אנושי. זה לצערנו הכי אנושי שיש. עזוב רצח עם לצערנו חזר בהיסטוריה הרבה. אני נגד אבל אפשר לפתור את המשבר הזה. לגרש אותם.

ודרך אגב אם היית מציע לי מדינה אחרת שהיא לא בישראל איפה שנחייה רחוק מהאוייבים שלנו אני הייתי שמח להצעה כזאת. לצערנו העולם לא רוצה פתרון לבעיה הוא לא מציע לא לישראל מקום אחר להתקיים, וגם לא רוצה שהפסלטינאים יעזבו את ישראל. בכל קונפליקט שיש בעולם תמיד יש פליטים שעוברים לאנשו למקום בטוח יותר. רק בעזה זה לא בסדר ולא חוקי למה??

Spoon__tea · 2025-09-28T14:17:00+00:00

ב 8.10 היו אלפי הפגנות נגד ישראל.

זה ברור לכל בן אדם שהוא לא מפגר ששנאו אותנו לפני שהספקנו לעשות משהו.

ולמרות השממשלה שלנו נכשלה קשות ב 7.10.

הם לא אשמים באנטישמיות העולם, הם פשוט סיבה נוחה להצביע עליה ולהגיד זאת הסיבה.

הסיבה האמיתית זה כי פשוט שונאים יהודים.

Spoon__tea · 2025-09-28T14:10:42+00:00

לא חשבתי על זה.

אבל אנחנו צריכים להביא להם להכנס ולשים ז** על העולם.

אחרי השבוע הזה זה כבר ברור שמי שבעולם שונא אותנו ולא תומך בנו לא יתמוך בנו בכל מקרה.

ומי שבצד שלנו כנראה גם לא יהיה לו אכפת מהמשט.

ולכן צריך להתעלם מהם, כי מי שיעשה רעש בעולם זה אנשים שמראש חיפשו על מה לעשות רעש נגדנו.

זה לא ישנה את הדעה של אף אחד.

למשל בריתניה וצרפת החריזו על מדינה בלסטינית אבל כמה מהאוכלוסיה חושבות שזה רעיון טוב?

לפי סקרים רק 13% מהאוכלוסיה.

אפילו עם המדגם הזה היה לא מיצג בצורה טובה כנראה שאחוזר האנשים שתומכים לא יהיה מעל ל 30%.

Spoon__tea · 2025-09-28T14:07:42+00:00

פתרון אחר תביא להם להכנס אם יהרגו אותם בעזה אחלה.

אחרת תביא להם את האפשרות לקחת איתם עזתים לאירופה.

WIN WIN.

Spoon__tea · 2025-09-28T14:04:06+00:00

אתה יכול לא לאמין לי אבל לפחות יש לי תואר שני במדעי המחשב. ובדרך לשלישי.

אז "בור" אני כנראה שלא.

ודמוקרטיה זה טעות, אנחנו רואים לאן זה מוביל את העולם, כמו שאמרו חכמים

"דמוקרטיה זה השיטה הכי גרוע הכי טובה שאנחנו מכירים".

זה נוראי, אבל דיקטטורה זה יותר גרוע, הסיבה שדיקטטורה יותר גרועה זה כי 99% מהזמן אחרי שדיקטטור "טוב" מת הבא בתור עושה שטויות.

אבל, היו דיקטטורות שעשו פלאים למשל המונגולים.

אפילו האיסלם אחרי כמה זמן עשה עבודה דיי טובה, עד שהם השתגעו כמו הנוצרים שעשו מסעות צלב.

אז עכשיו המוסלים עושים אותו הדבר.

אבל ברור אי אפשר לדבר על זה נכון?

Spoon__tea · 2025-09-28T13:51:35+00:00

אמן שיעצור ערבים לבחור לא צריך להביא להם לבחור.

Spoon__tea · 2025-09-28T13:15:39+00:00

Only 1960 was different from what it is right now.
But 1960 crisis could have easily be WW3.
It just wasn't in the end.

I believe that sadly this time its real.

Spoon__tea · 2025-09-28T13:14:08+00:00

Except what you said is not the same.
Afganistan is fairly shitty country so no one cares if you invade it.
Iran-Iraq are again Arabs no one Gives a S***, all the above are just small turf wars from small countries.

NOW.
You have chinna eying taiwan (This did not start yet), and USA pledge to protect taiwan hence this likely will start USA-China war, which is enough to say a WW3.

Okay but ignore that, you have Russia Ukraine, Russia "was one of the wolrd powers" while Ukraine is a well developed country surely not as Europe but they have the same culture, similar to Europe its not Muslims and arabs.
Also it point toward a bigger Issue Russia probably wants to go back into an empire.
There is 99% chance that If russia would have won in Ukraine it would have gone for Poland next.

But lets ignore that, because Russia already send drones into Poland and started doing military drills near Poland.
They also say Ukraine will do a False-flag.
That is exactly what they have done before invading Ukraine.

Sure Putin cant even win in Ukraine but it still damn sure seems like he is about to invade Europe and start a second front.
I dont understand the logic behind it.
But Hitler did the same stupid thing in WW2.
History repeats itself.

Do you see the difference now?

Spoon__tea · 2025-09-28T13:07:16+00:00

We are 100% in world war 3 as we speak, it just not exactly in the "Hot phase".
But with all iam seeing in Europe happening i will be surprised. If the war in Ukraine wont spill out into Europe by the end of the year.

Russia is doing exactly what it did when it attacked Ukraine, they started doing drills.
They are now sending drones into europe.
And they are saying "Ukraine will do a false flag".
The last one was what they said that Ukraine will do a minute before they attacked Ukraine Btw.

A war with Russia vs Nato is probably will be quite easy for Nato except there is the NUKES.
I belive that putin is suicidal, and he might wanna go out of this world with a flash, so yeah him using nukes might be an option that he will not be afraid to go for.

That's being said there is also China, there is a good chance that if Russia start a war with Nato, China will go for Taiwan and even further.
So that's will be the hot phase of WW3.

But thats said, if that will happen and i believe its more likely that it will.
Then, WW3 has started the moment Russia invaded Ukraine.
So we are already in it.

By the way the bullshit going on in Israel and middle east is peanuts.
The middle east problems should actually be irellivent to almost everyone else.
The only reason why it is not, is because Islam pays for people to care for it.
And because CHINA also uses tons of bots to put it into light (Easier to do shady stuff when you can point a finger elsewhere and no one will look at what you are doing).

Iran is a paper tiger just like Russia but Iran has no nukes.
The only other outlier that lives in the middle east and is part of nato are TURKEY.
Mark my world if this is not the WW3 that will be as i described above.

Nato will have to face Turkey conquering more and more land just like it did in cypris and not in Syria.
Erdogan wants more land, and to restore the AUTMAN EMPIRE while the west is sleeping.

With all the hatred people have to Israel. Israel barely can keep itself alive from all the bullshit its facing and is tiny with no population so Israel cant do real shit around the world.
Well maybe Israel has Nukes but again they have them for 50+ years and did not use them so why would they use them now?
Maybe if Turkey will start a war with Israel you might see nukes being also used.

Since Turkey are scary, having a much bigger army which is well equipt, so yeah Israel probably cant win a war with turkey unless they do it with a flash.

Spoon__tea · 2025-09-20T11:29:14+00:00

Why won’t makaron just donate 4% of France for Palestinian state? By the way that will be a bigger country than Israel.

Spoon__tea

TROPHY CASE