Charles Stross's Laundry series is great. A talented programmer accidentally rediscovers a CS theorem which allows the summoning of demons and is immediately press-ganged into mandatory employment with Britain's occult secret service.

His wife plays the possessed violin from Lovecraft's "The Music of Erich Zahn".