Formal-methods related summer job (train and signalling systems)

Members of our group have been cooperating with AnaCon, an Oslo-based company specializing in signalling systems, for instance used in railroads. Anacon is offering a summer job, and is looking for students with background in math/logic/formal methods. Further info can be found here.