Faculty post in foundations of computer science