Sort by
Refine Your Search
-
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
-
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
-
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
-
Come work in a great team in a creative environment! The Division for Language and Communication (DLC) at Chalmers is in an expansive phase, and as part of this expansion, DLC is recruiting a
-
. If Swedish is not your native language, Chalmers offers Swedish courses. The project will run in cooperation with researchers from different fields and housing companies; hence the candidate is