I was talking about Kleros at the beginning of the discussion, but it's just one possible option.
>You can only hire someone for a job if you have the money.
No, you can only hire someone for a job using this specific method if you have the money beforehand. This means that Bob can be 100% sure that his employer is capable of paying him.
>In reality many people hire someone for a job and thanks to their help they'll have the money to repay them in the future.
There can be other smart contracts which allow this. The cool thing about them is that Bob is always fully aware whether his employer has the funds to pay him or it's just an IOU.
>But what if Alice disappeared because she's dead, and Bob id the one who killed her?
This is outside of our threat model. We're designing a smart contract for employing a freelancer, not high value SC where murder would be economically viable. If Bob murders Alice this is handled the same way as any other murder.