remote
Assistant Professor in Theoretical Computer Science - Heriot-Watt University
Software Engineer
Lead cutting‑edge research and teaching in theoretical computer science, focusing on algorithms, complexity, formal methods, and quantum computing, while mentoring graduate students and publishing in top venues.
About the role
Key Responsibilities
- Develop and deliver undergraduate and postgraduate courses in theoretical computer science, including algorithms, complexity theory, and formal methods.
- Conduct original research in areas such as quantum computing, formal verification, and advanced algorithmic techniques, aiming for publication in leading journals and conferences.
- Supervise and mentor PhD and MSc students, guiding them through research projects and thesis work.
- Collaborate with colleagues across the School of Mathematical & Computer Sciences to foster interdisciplinary research initiatives.
- Contribute to curriculum development, assessment design, and continuous improvement of teaching quality.
Requirements
- PhD in Computer Science or a closely related field, with a strong research record in theoretical computer science.
- Demonstrated expertise in algorithms, complexity theory, formal methods, and/or quantum computing.
- Excellent communication skills, both written and oral, suitable for teaching and publishing.
- Experience in supervising graduate students and securing research funding is highly desirable.
- Commitment to diversity, equity, and inclusion in research and teaching activities.
Skills
machine learningnatural language processing