Postdoctoral Opening

Postdoctoral research opening in the Chatterjee Group at ISTA.
Project: The position is related to both symbolic and subsymbolic AI. For details of the project see BILAI.
Prospective applicants: Please email Prof. Krishnendu Chatterjee (email: krish.chat fill in rest). The candidate should send a CV with publication list.
Background and publication: Strong background and publication record in formal methods and/or machine learning is desired. Knowledge in both areas will be a plus but not required.