Sort by
Refine Your Search
-
research combines atomic physics, quantum control, and scalable architectures for fault-tolerant quantum computation, hybrid quantum simulation, and quantum-enhanced sensing. Project background Our group
-
, consistent, and correct-by-construction (or corrected via proof/counterexample feedback). You will lead research and prototyping of neuro-symbolic methods that translate heterogeneous requirements (text
-
of 1 year, renewable. The typical duration is two years, with a maximum of four years • Deadline: 15 December 2025 We are not accepting applications for this job through MathJobs.Org right now. Please
-
extraction, alignment, QC metrics, drift/batch correction) and reporting. Advance annotation strategies using modern approaches such as spectral/structure fingerprinting, molecular networking, in-silico
-
per semester during two consecutive or non-consecutive semesters within the first two years. Furthermore, the assistance in the correction of exams is expected. The rest of the time can either be fully