PhD Candidate, Formal methods in Natural Language Processing

Tasks

• Assist in teaching activities
• Collaborate with researchers
• Conduct original research in natural language understanding focusing on formal methods and large language models
• Publish and present scientific work

Perks/Benefits

• Bicycle Scheme
• Flexible working hours
• Fully funded position
• Home-office allowance
• Hybrid working
• Laptop provided
• Paid Parental Leave Options
• Public transport reimbursement
• Sabbatical options
• Sports subscription

Skills/Tech-stack

Deep learning | Formal Methods | Language Models | Language Processing | Large Language Models | Logic | Model Evaluation | Natural Language | Natural Language Processing | Neural Symbolic Methods | Python | Symbolic methods