High temp (400^F) temperature sensor

K-type thermocouple. Common and relatively inexpensive. A special thermocouple amplifier is needed to interface it to a microcontroller. For example:

I have a couple of the older MAX6675 boards and they work well.