Projeto PRR

Sumário

Job DescriptionWe are seeking a highly qualified Assistant Professor in Informatics, with focus on (formal) Language Specification and Processing to join the Department of Informatics, School of Engineering, University of Minho. The selected candidate will contribute to the development and delivery of undergraduate and postgraduate courses in the area of Grammars and Language Engineering coping with programming (fully structured) or markup (semi structured) languages.  He/she will also conduct innovative theoretical and applied research in the referred area, and actively participate in other academic activities within the department.Tasks, Responsibilities(a) Teaching and curriculum development:   - deliver courses in the field of Language Engineering, Language Specification and Processing and Compilers. Typical Curricular Units to be mentioned in the call will be , Processamento de Linguagens e Compiladores, Processamento de Linguagens, Engenharia Gramatical, Representação e Processamento de Conhecimento na Web, Engenharia Web, Paradigmas da Programação e suas Linguagens, or Ambientes e Linguagens de Programação para Ciência de Dados;    - develop course materials, including textbooks, assignments, and assessments;    - develop or review course syllabi;    - utilize innovative teaching methodologies, technologies, and practical examples to engage students and enhance their learning experience;    - provide academic guidance to undergraduate students, as well as scientific supervision at postgraduate level.(b) Research   - conduct cutting-edge research in the area of formal specification of programming (fully structured) or markup (semi-structured) languages using grammars. This direction covers the important field of Grammarware, also called Grammar Engineering, Grammar Design, Grammar Types, and Grammar Quality are relevant topics under this field. General Purpose Languages are under the concern of this position, however the design and development of Domain Specific Languages to solve problems in many and different application areas is another direction of work for the Candidate. Complementary the Candidate has to explore the automatic derivation of efficient language processors (analysers) from grammars. Code Generation and Optimization (coping properly with new hardware and virtual systems) are other topics deserving further investigation;    - publish research findings in high-quality peer-reviewed journals and conference proceedings;    - pursue external funding opportunities through grant applications and collaborative research projects or initiatives;    - collaborate with members from the Department of Informatics and associated research units (Centro Algoritmi and HasLab), industry partners, and other research organizations to address relevant research challenges, and elaborate project proposals.(c) Other Professional Activities   - Participate in academic post-graduate committees, as well as, in conference programme or organizing committees;    - serving on editorial boards;    - promote technology transfer.Scientific Profile and Qualifications:We seek someone with:- a Ph.D. in Computer Science, or a related field with a focus on language engineering, as well as expertise in formal language theory, syntax, and semantics; - Proficiency in programming languages relevant to language processing (e.g., Python, Java, or C/C++) is also relevant; - Proven record of high-quality research publication in reputable journals and conferences and demonstrated ability to secure research funding and lead research projects as well as capability to inspire and mentor students in research and academic development are also relevant requirements; - Experience in teaching undergraduate or graduate courses in language specification, compiler construction or related topics is another interesting issue for the appreciation of the candidate.Rationale for HiringLecturing formal language specification and grammar-based language recognition and translation is a topic of uttermost importance in any computer science curricula due to the complex algorithms required handling sophisticated data structures to create efficient programs. Similarly the teaching of matters concerning the design of markup languages and the development effective processors to cope with the annotated documents or with datasets is paramount to train programmers at present. As technology continues to evolve, the theoretical and applied research on Language Engineering, Static or Dynamic Code Analysis, and Optimization issues (covering concerns in the area of Green Computing) becomes paramount. In the same way, the software industry and the Humanity in general are rising strong challenges to the Web Engineers to develop   high quality applications and to deal with the knowledge that can be extracted from the Semantic Web. These different scenarios actually require a dedicated and knowledgeable professional to contribute to both academia and industry.