Postdoc Fellowship

The primary task associated with this position is to perform fundamental research. The broad research topics are as follows:

1. Neurosymbolic Reasoning: How can we leverage both neural (statistical) and symbolic (logic based) methods to perform reasoning? How can we incorporate logic constraints into the training of neural networks?

2. Machine Learning and Automated Theorem Proving What can machine learning provide to the field of automated theorem proving? What are the subtasks in the theorem proving effort that are most suitable to be tackled via machine learning? How can we adapt existing learning techniques to this particular problem class?

3. Embedding Formal Mathematics into Vector Space How can we learn an embedding of mathematical/logical structures into continuous space such that the embedding captures the semantics of the associated mathematical theory? In particular, to what extent are successful natural language embedding methods applicable to formal maths? How should these methods be tailored for maths?

Note that this work requires heavy computer simulated experimentation. Candidates are expected to have strong programming skills: we require programming in Python and the usage of popular tensor libraries, such as TensorFlow or PyTorch.

Candidates are expected to conduct independent research. The selected candidate will work under the supervision of Zsolt Zombori.

The position may include working with students, giving a lecture, writing a project proposal/summary etc. These tasks are maximized at 15% of the workload and can be negotiated in advance.

The candidate will receive a monthly gross salary of 900,000 HUF, which amounts to approximately 600,000 HUF after deductions [1]. This amount is 60% above the current national average wage.

The location of work is the Rényi Institute in Budapest. There is no requirement for speaking Hungarian, however, a high level of English fluency is expected.

To apply, send your CV and a 2-5 page summary of your research history, research interest and motivation for applying to this job to Zsolt Zombori at zombori@renyi.hu . Informal requests are also welcome. Application is continuous and applicants are advised to first check via email if the position is still available.