Sort by
Refine Your Search
-
Category
-
Program
-
Employer
-
Field
-
Infrastructure? No Offer Description We are seeking a highly motivated doctoral researcher to join the What Makes Us Human? Identifying, Evaluating and Modelling Specialist AI Competence (HUMAIN) project
-
on the interactions between set theory and non-standard logics, preferably within one of the two branches of the project: Modal Logic of Forcing Inner Models from Extended Logics These are active fields within set
-
are we looking for We are looking for candidates with a background in set theory and/or logic, preferably including either modal logic, forcing, or inner model theory. The candidate shall have a Master's
-
Asia, including research visits abroad. The contract is fixed-term and follows Aalto's standard 2+2 model. It will be made initially for two (2) years, with a six (6) month probationary period, and
-
-scale perforated steel deck system. The expected results include modelling methods and design principles of perforated steel roof system. The successful candidate will work in the project with university
-
demanding problems. Methods will be designed for near‑term (NISQ‑era) deployment, with models evaluated for expressivity, training stability, scalability, and resource requirements on representative problem
-
‑classical algorithms to tackle domain‑specific, computationally demanding problems. Methods will be designed for near‑term (NISQ‑era) deployment, with models evaluated for expressivity, training stability