I have found a working solution (for my needs) using the pico sdk multicore library.

As I understand it, using just the default pico SDK, you cannot use any multithreading, such as <thread> or <pthread.h>. However, the pico SDK comes with a useful library called pico/multicore.h. It allows you to use the second core.