Postdoc in Post-Quantum Cryptography at Xi'an Jiaotong-Liverpool University Xi'an Jiaotong-Liverpool University in China

PhD opportunity in Intelligent Scene Generation and Simulation Verification for Autonomous Driving at Xi’an Jiaotong-Liverpool University (XJTLU) , School of Advanced Technology, with supervision by Dr Dongyao Jia and co-supervisors Dr Along Jin , Dr Meng Fang (University of Liverpool), and Dr Haitao He (Loughborough University). This project focuses on autonomous driving , intelligent scene generation , simulation verification , foundation models , generative AI , world models , digital twin te...

New faculty recruitment is underway in Cryptography at the University of Delaware . Dr. Mingyuan Wang will join the Department of Computer & Information Sciences as an Assistant Professor in Fall 2026 and is actively recruiting motivated students interested in research. The research focus includes cryptography , theoretical computer science , secure computation , and related real-world applications . This is a strong fit for students with interests in security, algorithms, theory, and mathematic...

PhD opportunity in Mathematical Reasoning Based on Neural-Symbolic System at Xi’an Jiaotong-Liverpool University (XJTLU) , School of Advanced Technology, in Suzhou, China . This funded doctoral project focuses on artificial intelligence , computer science , mathematics , data science , and mathematical modelling . The research aims to improve multimodal mathematical reasoning by combining text, images, and theorem knowledge, with an emphasis on generating high-quality synthetic data and building...

We are hiring a Postdoctoral Researcher at Tsinghua University in Beijing, China , within the School of Software and the Big-Data Software Team. The position is centered on software engineering , databases , time-series data , and AI infrastructure for industrial applications. Research topics include the industrial time-series database Apache IoTDB , the time-series data file format TsFile , the time-series foundation model Timer , and related technologies for industrial AI systems. The role com...

Vrije Universiteit Amsterdam is advertising a PhD position in Formal Methods for Concurrent Cryptographic Protocols at the Faculty of Science, Department of Computer Science, in Amsterdam, Netherlands . The project focuses on using formal methods to develop systematic ways to describe concurrent cryptographic protocols and reason about their security. The successful candidate will conduct research on formal reasoning principles for protocol security, contribute to dissemination activities such a...