-
intelligence methods, with proven publication record in scientific venues in the field, as well as programming skills. Publications in top-tier AI and NLP venues (e.g. NeurIPS, ICML, ICLR, JMLR, ACL, EMNLP, TACL
-
for the work to be carried out. Research experience after completing the doctoral degree is expected. Scientific competence in developing artificial intelligence methods, with proven publication record
-
advancement of modern artificial intelligence (AI) methods in drug discovery and development. An ideal candidate will have strong background in machine learning, computational chemistry, or related fields, with
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions