Research Fellow - School of Computer Science - 103237 - Grade 7

Tasks

• Assess research resource requirements
• Conduct research in programming language theory
• Contribute to open source repositories
• Develop compiler models and techniques
• Develop proof of concept compiler and interpreter prototypes
• Disseminate research findings
• Manage research administration
• Present research outputs at seminars and posters
• Provide guidance to PhD students
• Supervise research related student work
• Support staff and students assisting with research
• Write research papers

Perks/Benefits

• N/A

Skills/Tech-stack

Abstract machines | Category theory | Compiler Construction | Denotational semantics | Graph rewriting | Interpreter development | Operational semantics | Proof assistant | String diagrams