-
one or more of the following areas: complex quantum processes, quantum error corrections, tensor networks, optimisation and machine learning, and developing software infrastructure Some experience in
-
Advanced strongly typed languages like Haskell and emerging type systems like refinement types (as implemented in Liquid Haskell) offer strong guarantees about the correctness of programs. However
Searches related to error correction
Enter an email to receive alerts for error-correction positions