Assistant Professor Machine Learning for Formal Reasoning and Verification @ Employer

Go to the homepage of Work at the University of Amsterdam Working at the UvA Assistant Professor Machine Learning for Formal Reasoning and Verification - Faculty of Science Do you enjoy working in an interdisciplinary research setting and do you want to be part of a thriving research community? Join us now! Assistant Professor Machine Learning for Formal Reasoning and Verification - Faculty of Science Assistant Professor Machine Learning for Formal Reasoning and Verification - Faculty of Science Do you enjoy working in an interdisciplinary research setting and do you want to be part of a thriving research community? Join us now! Assistant Professor Machine Learning for Formal Reasoning and Verification - Faculty of Science The TCS-group of the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam is looking for an Assistant Professor to work on machine learning for formal reasoning and verification. Working at the UvA The TCS-group of the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam is looking for an Assistant Professor to work on machine learning for formal reasoning and verification. This is what you will do The position of Assistant Professor (Universitair Docent, UD) will be embedded within the Institute for Logic, Language and Computation (ILLC) . The ILLC promotes curiosity-driven research and serves as a meeting point for computer scientists from traditional research fields ranging from AI, computer science, and mathematics to linguistics, cognitive science, and philosophy. The ILLC's scientific mission is to study the formal properties of information-namely, the fundamental structure and characteristics of processes involved in encoding, transmitting, and understanding information. The latter concept should be understood in the broadest sense: it encompasses not only the mathematical and algorithmic properties of formal la...