Logic job at CMU