Assistant Professor in Theoretical Computer Science - Heriot-Watt University

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.