Hi everyone, I am pleased to share that University College London (UCL) is now accepting applications for the position of Lecturer/ Associate Professor in Programming Principles, Logic, and Verification (PPLV). This is a great opportunity to join a world-leading research university and contribute to excellence in Logic applied to Computer Science.
Key details: • Position: Lecturer/ Associate Professor in PPLV • Department: Computer Science • Location: London, UK • Contract type: permanent • Deadline for applications: 09-Mar-2026 (it will be extended) • Role summary: The post is based in UCL Computer Science’s PPLV group, in collaboration with UCL Philosophy, forming a leading centre for research and teaching in logic and its applications. The role combines world-class research in PPLV with teaching on the BA Philosophy and Computer Science and the MASc Philosophy, Logic, and AI, alongside departmental service. • How to apply: Visit the following site: 🔗 https://www.ucl.ac.uk/work-at-ucl/search-ucl-jobs/details?nPostingId=17162&nPostingTargetId=41738&id=Q1KFK026203F3VBQBLO8M8M07&LG=UK&languageSelect=UK&mask=ext At UCL we are committed to inclusive excellence, and welcome applications from diverse candidates. Please let me know if you want more info. Best regards, -- Elaine. ----------------------------------- Elaine Pimentel Schools Outreach Lead Professor of Logic and Computation Deputy Director of the Computer Science and Philosophy programme Programming Principles, Logic, and Verification Department of Computer Science, Office: Room 3.11, 66-72 Gower Street University College London URL: https://sites.google.com/site/elainepimentel/ UCL Computer Science is an *Athena Swan Gold award winner for gender equality <https://www.ucl.ac.uk/computer-science/about/equity-diversity-and-inclusion/gender-equality-athena-swan>* UCL is ranked among the *top ten in the QS World University Rankings 2024 <https://www.ucl.ac.uk/news/2023/jun/ucl-ranked-top-10-universities-world-12-years-running>* and is winner of *The Times and Sunday Times University of the Year 2024 <https://www.ucl.ac.uk/news/2023/sep/ucl-named-university-year>* ----------------------------------- -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BXJAVL0%2BSC-sNa_hyF-DcnqXVMNdzfLzZ%2BrnbAFYgf9VQ%40mail.gmail.com.
