99 machine-learning "https:" "https:" "https:" "https:" "https:" "https:" "https:" "UCL" "UCL" positions at KU LEUVEN
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
research project. You will be given opportunities to participate at national and international meetings and establish your network. We offer a competitive salary (https://www.kuleuven.be/personeel/jobsite/en
-
Sciences at KU Leuven (e.g. thesis supervision, exam grading, etc.) in Dutch and/or English. You hold a Master’s degree in Law, with a specialization in ICT law. You are eager to learn and fascinated by
-
contact Prof. dr. Seline Trevisanut, mail: seline.trevisanut@kuleuven.be .In case of problems with the online application, please contact solliciteren@kuleuven.be . Where to apply Website https
-
. Yves Stevens, mail: yves.stevens@kuleuven.be . In case of problems with the online application, please contact solliciteren@kuleuven.be . Where to apply Website https://www.kuleuven.be/personeel/jobsite
-
@kuleuven.be . Where to apply Website https://www.kuleuven.be/personeel/jobsite/jobs/60624656?hl=en Requirements Research FieldJuridical sciencesEducation LevelMaster Degree or equivalent
-
@kuleuven.be . Where to apply Website https://www.kuleuven.be/personeel/jobsite/jobs/60623481?hl=en Requirements Research FieldJuridical sciencesEducation LevelMaster Degree or equivalent
-
. Russell Friedman (russell.friedman@kuleuven.be ) Where to apply Website https://www.kuleuven.be/personeel/jobsite/jobs/60632449?hl=en Requirements Research FieldPhilosophyEducation LevelMaster Degree
-
, Mechanical), Computer Science, Applied Math/Statistics, Physics—or related. Candidates who will graduate in the near future are also welcome to apply. Strong foundation in machine learning/deep learning and
-
such as surgery, patient or staff scheduling using, e.g., multi-objective optimization or machine learning approaches and analyzing efficiency-fairness trade offs. The research will be conducted under
-
breakthroughs in proof logging, where solvers do not just output an answer, but also a machine-verifiable proof (or certificate) of correctness. However, a major limitation of current techniques is that