Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
and proofs, and performance benchmarking Develop and maintain agentic AI pipelines for specification autoformalization, proof generation, and proof repair Write documentation, procedures, and
-
to advance knowledge in the following domains: Formal verification and interactive theorem proving (Rocq, Lean) Secure and high-performance computer systems, including ML infrastructure We seek outstanding
-
questions in this space: how customer-facing AI should be designed when it speaks to real customers on behalf of a real firm. Generative voice agents now handle substantive service conversations, hand
-
voice agents now handle substantive service conversations, hand customers over to human employees, and generate content that reaches large professional audiences — yet the design decisions behind them
-
prioritise RD as a mechanism for ecosystem resilience. The project will use Agent-Based Policy Modelling (ABPM) to simulate how actors such as land managers, farmers, local authorities, and conservation
-
for the design of the digital platform and the LLM-based conversational agent (together with the input from end-users and building on pre-existing prototypes); (ii) iteratively develop the app and key interactive
-
. Project background Digital Einstein is our flagship interactive AI avatar, bringing Albert Einstein to life as a conversational agent. It is part of a broader family of AI avatars developed in our group
-
60%-100%, Zurich, fixed-term We are looking for a creative Interaction Designer to craft compelling visual experiences and digital assets. You will be responsible for transforming complex data and