Sort by
Refine Your Search
-
employment. Position description The successful candidate will work within the research project “Advances in generalized Bayesian inference via differential-geometric methods” funded by the Research Council
-
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
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions