-
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
-
is not your native 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
-
single project. The position requires sound verbal and written communication skills in English. If Swedish is not your native language, Chalmers offers Swedish courses. Contract terms Full-time temporary
-
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
-
information about each course, for example course language and at which campus the course will be given. You will find the courses divided by division in the order; Computer Network and Systems, Computing