Season stewing beef with salt, pepper, thyme and dust with flour.
Select sauté on Instant Pot. Heat up oil.
Add garlic and onions.
Add stewing beef and brown on all sides.
Pour beer in and deglaze bottom of pot.
Add in remaining ingredients - carrots, tomato paste, stock/water.
Place bay leaves on top. Turn off sauté and close Instant Pot lid.
Select high pressure cooking or stew/meat for 35 minutes.
When done, quick release. Open Instant Pot and remove bay leaves.
Select sauté. Cook until stew thickens (and make sure beer burns off properly) for about 10-15 minutes.