Welcome to the formal verification bowl..!
Feel free to discuss anything about formal verification including job postings, salary, and even technical questions!

I joined Capgemini on 15 th September. But didn't receive salary. Can someone please help on this. When can I expect that.

What is a standard pension benefit? I just moved to the UK, so this is all new to me and I’d like a benchmark.

What were some effective tips or resources that helped you to learn the systems of your first firm? We feel like our firm admin/paralegal is not getting acclimated and not assisting the firm as we hoped. So we want to make sure we’re effectively training her and providing the best resources/tools for success.

How long does it takes to get the offer letter post HR discussion ? My HR discussion is done 1 week ago and current status is offer approval.

Hi guys.. I wanted to know what should be the ideal number of ATL and BTL activities in year for a consumer durable company? Considering x as the number of product lines/sub brands.
TIA

Hi fishes,

How much hike relaince jio gives to employees every year?

Hi All, How is SAP Hybris projects in DXC Technology. I got an offer from DXC , Years of experience 8.7

What role is after Developer/Senior Developer?

Im 21, recently got a project manager job in a big media group, I still have about one year to do in my degree. Where would you recommend I take my career next, what would be the logical next jobs I could explore in that field?

Best way to find a mentor? I'm trying to better my book to get better jobs but I need some guidance.

Hi all,

My joining is on 20th December in TCS. I have yet not received the onboarding Welcome mail. By when is the onboarding mail usually shared? Can anyone who has joined recently confirm? TIA.

My last working day is may 31st and the salary day is also same...Will I get my salary or it will be in final settlement

Any ideas on a decent salary for a clinical care coordinator, home health setting? *with experience*

Round or exact numbers on banners/LPs? I was curious about this since in negotiations for example or pricing it's better to have the exact number. But if you have a case study, for example, is it better to say "Client X increased their revenue to 1,000,000 ARR" instead of "Client X increased their revenue to 987,500 ARR" ? Anyone has seen any impact on conversion rates?

Hey BCG 🐠, anyone in the Technology Advantage Practice? Care to provide some insight on the company culture and type of work?