[Agda] Lecturer/Senior Lecturer

Conor McBride conor at strictlypositive.org
Mon Jul 29 12:49:54 CEST 2013

The Department of Computer and Information Sciences within the University of Strathclyde seeks to appoint a Lecturer or Senior Lecturer to enhance the internationally leading Mathematically Structured Programming (MSP) research group. The MSP group’s vision is to use mathematics to understand the nature of computation, and to turn that understanding into the next generation of programming languages, and the successful applicant will be expected to further develop the Department’s reputation for excellence in this area. You will have ambitious academic aspirations and an understanding of how to bring in the grant income required to fund those aspirations. You will also be expected to contribute to the Department’s teaching activities in the areas of Computer Science and Software Engineering.

For consideration at Lecturer level you will demonstrate significant promise in your research discipline as evidenced by a publications record in high quality venues. To be considered at Senior Lecturer level you will have a strong record of achievement in their career to date including success in securing external funding and experience of teaching undergraduate and/or postgraduate students.

Research Starter Grant: The Faculty of Science offers a Research Starter Grant to all new full-time, non-professorial, academic staff within the Faculty. The Grant may be used for any purpose that assists staff to establish their Strathclyde research career and to assist in attracting additional funding for research from external sources. Any grant  awarded will be to a maximum of £10,000, and the planned expenditure of the award is normally for a period of 18 months.

For further information contact Prof Neil Ghani or Dr Conor McBride

More information about the Agda mailing list