PhD student (doctoral candidate) in Knowledge Representation and Reasoning
University of Luxembourg
Luxembourg, Luxembourg  
il y a 6h
source : Academic Media Group International AB

The University of Luxembourg aspires to be one of Europe’s most highly regarded universities with a distinctly international and interdisciplinary character .

It fosters the cross-fertilisation of research and teaching , is relevant to its country, is known worldwide for its research and teaching in targeted areas, and is establishing itself as an innovative model for contemporary European Higher Education.

It s core asset is its well-connected world-class academic staff which will attract the most motivated, talented and creative students and young researchers who will learn to enjoy taking up challenges and develop into visionary thinkers able to shape society.

The Faculty of Science, Technology and Medicine (FSTM) contributes multidisciplinary expertise in the fields of Mathematics , Physics , Engineering , Computer Science , Life Sciences and Medicine .

Through its dual mission of teaching and research, the FSTM seeks to generate and disseminate knowledge and train new generations of responsible citizens, in order to better understand, explain and advance society and environment we live in.

Your Role

The Individual and Collective Reasoning Group (ICR, Department of Computer Science, University of Luxembourg), led by Prof.

Leon van der Torre, is looking for

  • 1 PhD student (doctoral candidate) in Knowledge Representation and Reasoning
  • Deontic Logic for Epistemic Rights DELIGHT is a 3-year long project accepted for funding in the OPEN scheme of the National Research Fund Luxembourg.

    DELIGHT is an interdisciplinary project developing new formal frameworks extending deontic logic with epistemic and action notions in order to reason about epistemic rights as normative positions.

    In the context of DELIGHT we are looking for someone with a special interest or background in one or several of the following areas :

  • Knowledge representation and reasoning, especially with applications to law and ethics
  • Applied logics for AI
  • Deontic logic and normative reasoning
  • Epistemic or Action Logics
  • Automated Theorem Proving
  • Tasks :

  • Writing a doctoral dissertation in the relevant area
  • Presentation of research findings at workshops and conferences
  • Publication of scientific papers in peer-reviewed international journals
  • Moderate participation in teaching activities
  • Your Profile

  • A Master degree in Computer Science or a related discipline
  • Dedication to actively participate in the interdisciplinary activities of ICR
  • Solid background in knowledge representation and reasoning, and some focus areas
  • Strong analytical capacity, creativity, and commitment
  • Very good written and spoken English skills
  • Our Offer

  • A dynamic, well-connected international research environment
  • Financial support for participating in scientific activities (workshops, conferences, summer schools, etc.)
  • An attractive salary and employment contract including social insurance
  • Enrolment in the Doctoral School in Science and Engineering (DSSE) with a wide offer of disciplinary and interdisciplinary courses
  • In Short

  • Contract Type : Fixed Term Contract 36 Month (up to 48 months if required)
  • Work Hours : Full Time 40.0 Hours per Week
  • Location : Belval
  • Employee and student status
  • Foreseen starting date : March 2021 (flexible)
  • Job Reference : UOL03771
  • Signaler cette offre d'emploi
    checkmark

    Thank you for reporting this job!

    Your feedback will help us improve the quality of our services.

    Postuler
    Mon email
    En cliquant sur « Continuer », je consens au traitement de mes données et à recevoir des alertes email, tel que détaillé dans la Politique de confidentialité de neuvoo. Je peux retirer mon consentement ou me désinscrire à tout moment.
    Continuer
    Formulaire de candidature