Todas as vagas
PhD Position Systematic Derivation of Formal Languages and Their Correctness
TU Delft
Delft · PresencialJúnior (0–2 anos)Tempo integralPublicada há 25 dias
Sobre a vaga
O que você vai fazer
The candidate will conduct research on the systematic derivation of formal languages using category and type theory, while validating results in the Agda proof assistant. Additionally, the role involves contributing to teaching, participating in scientific seminars, and publishing research findings.
O que eles procuram
Applicants must hold a Master's degree in mathematics, computer science, or a related field with experience in category theory and theoretical computer science. Proficiency in English and the ability to work both independently and collaboratively are essential requirements.
Descrição completa