Combine salt, paprika, and black pepper in a small bowl.
Rub the salt mixture all over the beef well.
Choose SAUTE function
Add the oil into the inner pot.
Place the seasoned beef in the inner pot and brown it for 2-3 minutes.
Add garlic, onion, beef stock, Worcestershire sauce and the bay leaf.
Close the lid and set the pressure release valve to closed.
Choose MEAT programme by pressing the “Menu” key on the control panel and adjust the pressure holding time to 45-50 minutes.
Use the quick release method.
Check on the roast for tenderness.
Mix in the potatoes and carrots.
Close the lid again and choose MEAT programme again for pressure holding time between 5-10 minutes depends on the tenderness of the beef.
Use the natural release method and serve hot with gravy.