Directions

1. Set pressure cooker to "sear", add oil, and press "start/stop". When hot, add short ribs and sear until golden brown; set aside.

2. Add garlic, scallions (white parts), and ginger to remaining oil in pot. Cook until fragrant, about 2 minutes.
3. Add stock, chili paste, soy sauce, sugar, and sesame oil. Return ribs to pressure cooker.
4. Close and lock lid, set pressure cooker to "meat/stew", adjust time to 45 minutes, and press "start/stop".
5. When done, natural release for 15 minutes, then quick release to make sure all pressure is released before opening lid.
6. Cook rice noodles as directed on package. Divide noodles into 6 bowls. Add grated carrot, cucumber, cilantro, lime, and scallions (green parts) to each bowl.
7. Carefully open lid and shred the cooked short ribs. Add shredded meat to each bowl. Ladle stock into each bowl.