We are seeking to hire ASAP a Research Scientist for the Mathematics of AI research group, with a demonstrated publication record in related areas of mathematics and theoretical computer science. We are specifically interested in expertise in formal logic as well as learning theory, generalizability, information theory, graph algorithms, reinforcement learning, and optimization.

Website: https://krb-sjobs.brassring.com/TGnewUI/Search/home/HomeWithPreLoad?PageType=JobDetails&partnerid=26059&siteid=5016&Areq=435593BR#jobDetails=458585_5016
Email: lhoresh@us.ibm.com