Assistant Professor Machine Learning for Formal Reasoning and Verification
· AMSTERDAM, Netherlands ·
- Category
- ML ai
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...
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...