We are looking for a talented student assistant to apply formal methods in the context of wireless networks. The job description can be found here.