PhD position in theoretical computer science studying whether two grammars generate equal strings, modeled as skew arithmetic circuits. Investigate deterministic parallel algorithms, conduct a literature-driven study, and contribute to a collaborative research project with guidance.