I'm surprised it hasn't been mentioned, but if you're thinking of using an arduino as a pid controller, there's an easy solution:
osPID,
an arduino-based pid controller. I just got mine, and thanks to the kind people at Rocketscream, have it working with the J thermocouples I'm going to...