PhD Positions & Research Opportunities: Theoretical CS project on equations in free semigroups with constraints, addressing decidability and computation in formal languages. Ideal for researchers in formal language theory, logic, algorithms, and discrete math with a taste for proofs and collabora...