2 model-checking positions at Fudan University in China

Filters Search

Sort by

Refine Your Search

  • Fudan University | China | about 19 hours ago

    , Shanghai 200433, China [map ] Subject Area: Model Theory Starting Date: 2026/09/01 Appl Deadline: 2026/05/18 04:59 AM UnitedKingdomTime (posted 2025/11/19 05:00 AM UnitedKingdomTime, listed until 2026/05/18

  • Fudan University | China | about 1 hour ago

    but not limited to: o Quantum error correction, fault tolerance, and resource optimization. o Entanglement dynamics, quantum control protocols, and hybrid quantum-classical algorithms. o Modeling and

Searches related to model checking

Enter an email to receive alerts for model-checking positions