Our Group
The Chatterjee group is interested in the theoretical foundations of game theory, its application in formal verification, and evolutionary game theory. Game theory in formal verification involves the algorithmic analysis of various forms of games played on graphs, where the graph models a reactive system. This broad framework allows for the effective analysis of many important questions in computer science and helps to develop robust systems. The Chatterjee group also works on algorithmic aspects of evolutionary game theory on graphs, where the graph models a population structure. The goals of this research are to better understand games and to develop new algorithms.
Your Responsibilities
The position is related to both symbolic and sub symbolic AI. The position is fully funded and offers a competitive salary as part of the FWF Cluster of Excellence on Bilateral AI. Extensions are possible
Your profile
- PhD in Formal methods and/or Machine learning
- Strong background and publication record in formal methods and/or machine learning is desired. Candidates with exposure to both fields would be preferred.
- A proven ability to conduct independent research, as well as to work effectively as a member of a research team
- Excellent command of English (working language)
Application documents: (Cover letter, CV, publication list, and at least 2 references)
To submit your application please email: Krishnendu.Chatterjee@ist.ac.at
ISTA is growing. Grow with us!
Institute of Science and Technology Austria (ISTA) is a constantly growing international institute for conducting world-class research in mathematics, computer science, life sciences & physical sciences. We strive to recruit passionate professionals from across the world over all fields who strive to support our goal of excellent research. Located within a beautiful campus on the outskirts of Vienna, we offer multiple opportunities for personal growth in a stable working environment. Get an insight!
ISTA promotes a diverse and inclusive working environment and is committed to the principle of equal employment opportunity for all applicants, free of discrimination. All employment decisions at ISTA are based on job requirements, qualifications, merit and organizational needs. We strongly encourage individuals from underrepresented groups to apply.