generations of responsible citizens in order to better understand, explain and advance society and environment we live in. Your role The researcher will join the team of Prof. Ivan Nourdin and contribute to an ambitious project at the interface of probability theory and artificial intelligence, whose goal is to rethink and structure the way mathematical research is produced in the era of AI. Key Responsibilities: Designing and implementing a structured system for AI-assisted mathematical research, applied to the topics mentioned above Conducting research on the design of a methodological framework for AI-assisted mathematical discovery, from idea generation to certified results Integrating formal tools, such as proof assistants, into the scientific production workflow Developing a complete and reproducible protocol for mathematical creation, verification, and publication, including formal certification of results Contributing to the scientific activities of the department, e.g. seminars, workshops, reading groups and schools organized by the members of the department Your profile Excellent level in mathematics, with a strong passion for probability theory and a genuine curiousity for the new possibilities opened by AI Strong background in probability theory (mandatory) High intellectual rigor and taste for deep, conceptual work Scientific maturity and ability to conduct autonomous research Strong interest in artificial intelligence and its use in mathematical research Pioneer mindset Fluency in either English or French is required We offer Multilingual and international character. Modern institution with a personal atmosphere. Staff coming from 90 countries. Member of the "University of the Greater Region" (UniGR) A modern and dynamic university. High-quality equipment. Close ties to the business world and to the Luxembourg labour market. A unique urban site with excellent infrastructure A partner for society and industry. Cooperation with European institutions, innovative companies, the Financial Centre and with numerous non-academic partners such as ministries, local governments, associations, NGOs … How to apply Applications should include: Curriculum Vitae Cover letter Early application is highly encouraged, as the applications will be processed upon reception. Please apply ONLINE formally through the HR system. Applications by Email will not be considered. All qualified individuals are encouraged to apply. In line with our values, the University of Luxembourg promotes an inclusive culture. We encourage applications from individuals of all backgrounds and are dedicated to upholding equality and respect for our employees and students. General information: Contract Type: Fixed Term Contract 36 Month Work Hours: Full Time 40.0 Hours per Week Location: Belval Campus Internal Title: Doctoral Researcher Job Reference: UOL08047 The yearly gross salary for every PhD at the UL is EUR 41976 (full time).

generations of responsible citizens in order to better understand, explain and advance society and environment we live in. Your role The researcher will join the team of Prof. Ivan Nourdin and contribute to an ambitious project at the interface of probability theory and artificial intelligence, whose goal is to rethink and structure the way mathematical research is produced in the era of AI. Key Responsibilities: Designing and implementing a structured system for AI-assisted mathematical research, applied to the topics mentioned above Conducting research on the design of a methodological framework for AI-assisted mathematical discovery, from idea generation to certified results Integrating formal tools, such as proof assistants, into the scientific production workflow Developing a complete and reproducible protocol for mathematical creation, verification, and publication, including formal certification of results Contributing to the scientific activities of the department, e.g. seminars, workshops, reading groups and schools organized by the members of the department Your profile Excellent level in mathematics, with a strong passion for probability theory and a genuine curiousity for the new possibilities opened by AI Strong background in probability theory (mandatory) High intellectual rigor and taste for deep, conceptual work Scientific maturity and ability to conduct autonomous research Strong interest in artificial intelligence and its use in mathematical research Pioneer mindset Fluency in either English or French is required We offer Multilingual and international character. Modern institution with a personal atmosphere. Staff coming from 90 countries. Member of the "University of the Greater Region" (UniGR) A modern and dynamic university. High-quality equipment. Close ties to the business world and to the Luxembourg labour market. A unique urban site with excellent infrastructure A partner for society and industry. Cooperation with European institutions, innovative companies, the Financial Centre and with numerous non-academic partners such as ministries, local governments, associations, NGOs … How to apply Applications should include: Curriculum Vitae Cover letter Early application is highly encouraged, as the applications will be processed upon reception. Please apply ONLINE formally through the HR system. Applications by Email will not be considered. All qualified individuals are encouraged to apply. In line with our values, the University of Luxembourg promotes an inclusive culture. We encourage applications from individuals of all backgrounds and are dedicated to upholding equality and respect for our employees and students. General information: Contract Type: Fixed Term Contract 36 Month Work Hours: Full Time 40.0 Hours per Week Location: Belval Campus Internal Title: Doctoral Researcher Job Reference: UOL08047 The yearly gross salary for every PhD at the UL is EUR 41976 (full time).