9 proof-checking-postdoc-computerscience PhD positions at Leiden University in Netherlands
-
between researchers. CML has two Departments: Industrial Ecology (CML-IE) and Environmental Biology (CML-EB). Presently, about 150 fte (including postdocs and PhDs) are employed at CML. CML further
-
, such as how to use proof assistants like Rocq, Lean or Isabelle (prior knowledge of these is not required); Excellent proficiency in English, both spoken and written (Dutch is not required, but LIACS does
-
Environmental Biology (CML-EB). Presently, about 150 fte (including postdocs and PhDs) are employed at CML. CML further collaborates with TU Delft and Erasmus University in the Leiden-Delft-Erasmus Centre
-
expected to conduct original competitive research and proof-of-concept development and to write several research articles that together will form the basis of a thesis to attain a PhD degree (dr.) at Leiden
-
; Participate in project meetings and contribute to open-source tools and datasets to advance explainable compliance checking; Selection Criteria A Master’s degree in Artificial Intelligence, Computer Science
-
PhD trajectory is different, so in the beginning we will devote attention to your onboarding. This position is a good fit for you if you recognise yourself in the following: Master’s degree completed by
-
collaboratively. Every PhD trajectory is different, so in the beginning we will devote attention to your onboarding. This position is a good fit for you if you recognise yourself in the following: Master’s degree
-
additional documents quoting the vacancy number: A letter of motivation including research interests and highlighting fit for the position (max. 2 pages) Curriculum vitae Relevant certificates (e.g. degree
-
additional documents quoting the vacancy number: A letter of motivation including research interests and highlighting fit for the position (max. 2 pages) Curriculum vitae Relevant certificates (e.g. degree