Essential Criteria: Senior Lecturer/Associate Professor · Doctoral degree (level 10 NFQ) in computer science, software engineering, or related discipline. · Research activities and a minimum of 5 years teaching experience with a strong emphasis on programming languages, algorithms, and their applications, ideally in an industrial context or with industrial partners. · Teaching experience across a range of computer science areas, including foundational topics. · Experience of teaching both undergraduate and taught postgraduate students. · Experience in course management and research management, including mentoring PhD students. · A recognised research track record of more than five years after PhD. · Experience directing independent research projects and obtaining external funding. · Evidence of collaboration with industry and international partners. · Significant international recognition, e.g. in senior roles in conferences, journals, professional associations, research initiatives and committees. - An active research and publication record in at least two of the following areas:
o Programming languages, programming paradigms. o Algorithms and data structures. o Automata, graphs and their applications to design and verification. o Logics and their applications. o Model driven development, formal methods for low-code and no-code development. o Automation of software analysis and synthesis, generative approaches. - Ability to apply Programming Languages and Algorithms to domain specific problems, spanning two or more of:
o Programming languages and frameworks for system evolution. o Automata learning, model learning, decision support systems. o Real time systems, resource constrained systems. o Text, image and video processing. o (Natural) language processing. o Privacy, security, compliance, governance, digital forensics. - Experience of outreach to industry, and to specialist and general public audiences.
Essential Criteria: Associate Professor in addition to the above · A significant international collaboration record and recognition in the research community. · Significant achievements in research, in terms of publications and impact. · Evidence of roles of responsibility directing independent research projects and obtaining external funding. · International recognition at top level, e.g. editorship of journals, leading roles in conferences, associations. |