All jobs
PhD Position Systematic Derivation of Formal Languages and Their Correctness
TU Delft
Delft · On-siteEntry level (0–2 years)Full-timePosted 25 days ago
About the job
What you'll do
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.
What they're looking for
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.
Full description