Vacancies

Push the boundaries of Agentic AI trustworthiness at the intersection of cryptography, privacy enhancing technologies (PETS), agentic systems, and automated verifiable design.

We are hiring four research assistants (pre-doc or equivalent) to join our teaming working building/implementing an agentic security stack that decomposes tasks by security/privacy risks/requirements and functionality boundaries, translates sub-task user requirements into formal specifications, selects or generates suitable cryptographic protocols (e.g. secure comms, MPC, ZK), and verifies their properties (with LEAN, Proverif, etc.). Its goal is an end-to-end workflow in which agents (from orchestrators to sub-agents) can negotiate security needs and connect verified protocol descriptions to executable multi-agent interactions.

We are hiring four (4) research associates (post-doc or equivalent) to join our teaming working building/implmenting an agentic security stack that decomposes tasks by security/privacy risks/requirements and functionality boundaries, translates sub-task user requirements into formal specifications, selects or generates suitable cryptographic protocols (e.g. secure comms, MPC, ZK), and verifies their properties (with LEAN, Proverif, etc.). Its goal is an end-to-end workflow in which agents (from orchestrators to sub-agents) can negotiate security needs and connect verified protocol descriptions to executable multi-agent interactions.

We are seeking current and emerging leading researchers in the field. The successful candidate will have a PhD (or be close to completing one), a strong research agenda, and the enthusiasm and ability to undertake original research, teach courses, and supervise student projects.  

We look for candidates with research interests in the development of cutting-edge Artificial Intelligence methods and models, particularly in the joint space of perception (e.g., computer vision) and action (e.g., interactive decision-making systems).  We are interested in candidates motivated to establish and expand the principles underlying such methods and models in the context of high-impact application domains (e.g., robotics, health, environment, society, etc.).  

We are seeking current and emerging leading researchers in the field. The successful candidate will have a PhD (or be close to completing one), a strong research agenda, and the enthusiasm and ability to undertake original research, teach courses, and supervise student projects.  
 

We seek candidates with research interests in the development of cutting-edge Artificial Intelligence methods and models, particularly in the joint space of perception (e.g., computer vision) and action (e.g., interactive decision-making systems).  We are interested in candidates motivated to establish and expand the principles underlying such methods and models in the context of high-impact application domains (e.g., robotics, health, environment, society, etc.).