-
developments in generative AI (large language models) with symbolic systems (here proof-assistants) via a neuro-symbolic architecture. This takes advantage of AI systems with different strengths: generative AI
-
The goal of this project is to develop new methods for assisting mathematical discovery, by leveraging recent developments in generative AI (large language models) with symbolic systems (here proof
-
to at least 240 higher education credits in a relevant field. The position requires sound verbal and written communication skills in English. If Swedish is not your native language, Chalmers offers Swedish
-
language, Chalmers offers Swedish courses. Contract terms Full-time temporary employment. The position is limited to a maximum of five years. We offer Chalmers offers a cultivating and inspiring working
-
algorithms is meritorious, as well as a documented track record of research in the area of the project. The working language at the department is English and the position requires sound verbal and written
-
the project. The working language at the department is English and the position requires sound verbal and written communication skills in English. If Swedish is not your native language, Chalmers offers Swedish
-
qualifications corresponding to at least 240 higher education credits in a relevant field. The position requires sound verbal and written communication skills in English. If Swedish is not your native language
-
. The position requires good communication skills in written and spoken English. If English or a Scandinavian language not your mother tongue, you need to provide documentation of good communication skills in
-
English. If English or a Scandinavian language not your mother tongue, you need to provide documentation of good communication skills in English, typically evidenced by an English language test and/or
-
and written communication skills in English. If Swedish is not your native language, Chalmers offers Swedish courses. Contract terms Full-time temporary employment. The position is limited to a maximum