Zet de Instant Pot op ‘sauteer’ en voeg de olijfolie toe.
Snijd het gebraden rundvlees doormidden en bestrooi het aan beide kanten met zout en peper naar smaak.
Doe het rundvlees in de voorverwarmde Instant Pot en braad het 4 minuten aan elke kant.
Haal het rundvlees uit de Instant Pot en voeg de ui toe. Fruit de ui tot hij zacht begint te worden en zet de Instant Pot uit.
Voeg de knoflook toe aan de Instant Pot en roer er de Worcestershiresaus, bouillon en tomatenpuree door. Goed roeren tot het mengsel gemengd is.
Doe het rundvlees terug in de Instant Pot en voeg de verse tijmtakjes toe.
Sluit het deksel van de Instant Pot en zorg ervoor dat het ontluchtingsventiel goed afsluit.
Stel de Instant Pot in op de handmatige modus voor koken gedurende 60 minuten. Laat de Instant Pot na de kooktijd 10 minuten langzaam leeglopen en verplaats vervolgens het overdrukventiel naar de ontluchtingsstand om eventuele extra druk af te laten.
Haal het deksel eraf en leg de aardappelen en wortelen op het rundvlees. Sluit het deksel weer, zorg ervoor dat het ontluchtingsventiel weer goed afsluit en stel de Instant Pot 10 minuten in op handmatig. Laat de Instant Pot na afloop van de kooktijd nogmaals 10 minuten op natuurlijke wijze druk ontsnappen voordat u verdere druk laat ontsnappen door het overdrukventiel in de ontluchtingsstand te zetten.
Haal het deksel weer van de Instant Pot en verwijder de tijmtakjes en het rundvlees. Gooi de takjes tijm weg en trek het rundvlees uit elkaar voordat u het terug in de pan doet.
Wilt u het braadvocht dikker maken, meng dan de maïzena met een klein beetje water en voeg dit toe aan de pan. Roer tot het mengsel gemengd is en laat het indikken.
