Ciao-users February 2021

ciao-users@cliplab.org

2 participants
2 discussions

Assistant/Associate Professor positions in Edinburgh, UK (Herio-Watt University): Logic, Programming Languages, Verification, Security
by Ekaterina Komendantskaya 16 Feb '21

16 Feb '21

*... Apologies for multiple postings, please help to distribute to potential applicants in your research area* ASSISTANT PROFESSOR / ASSOCIATE PROFESSOR / PROFESSOR in COMPUTER SCIENCE HERIOT-WATT UNIVERSITY, EDINBURGH, SCOTLAND, UK SALARY (for ASSISTANT/ASSOCIATE PROFESSOR LEVEL): £59,135 -£41,526 per annum START DATE: FROM SEPTEMBER 2021 (NEGOTIABLE) CLOSING DATE FOR APPLICATIONS: 11 April 2021 Heriot-Watt University has established a reputation for world-class teaching and leading-edge, relevant research, which has made it one of the top UK universities for innovation, business and industry. To celebrate our 2021 bicentenary of pioneering research, we have set ourselves the target of recruiting one hundred outstanding research academics between 2018 and 2021. As part of this prestigious programme, the School of Mathematical and Computer Sciences (MACS) welcomes applications for the posts of Assistant / Associate Professor / Professor in Computer Science. We particularly welcome applicants with expertise in either: (i) Artificial Intelligence and Robotics (which includes pervasive and ubiquitous systems, planning, data science and semantic web, autonomous agents, human-robot interaction, human computer interaction and multimodal interaction); (ii) Security and Verification (including verification of system safety and security, cybersecurity, automated reasoning, theorem proving, programming languages and semantics, foundations of computer science). In addition, and as part of the School’s on-going plans to open new joint Mathematics-CS and Statistics-CS posts, we encourage applicants who have interdisciplinary training or experience linking one of the outlined CS priority areas and topics in Mathematics and Statistics (including, but not limited to, algebra and category theory, discrete mathematics and logic, financial risk, cyber risk, actuarial and statistical data science, statistical machine learning, Bayesian computational methods). The School strongly encourages and supports the generation of industry impact from research, and we welcome candidates with experience of working in industry on AI, data science, robotics, autonomous systems, verification or security projects or a strong track record of collaborating with industrial partners. Exceptional candidates possessing an extensive track record of internationally excellent research and leadership may be considered for appointment at Chair level; candidates interested in the position at Chair level should in the first instance contact the Head of School, Prof Beatrice Pelloni, b.pelloni(a)hw.ac.uk. The School of Mathematical and Computer Sciences is committed to support family friendly work practices and part-time working options as part of our Athena Swan Bronze award (see https://www.hw.ac.uk/schools/mathematical-computer-sciences/about/athena-sw…). We especially encourage women and members of underrepresented groups to apply for this position. We welcome and will consider flexible working patterns e.g. part-time working and job share options. ABOUT OUR TEAM: The Department of Computer Scienceis internationally renowned for its world-class research across a number of areas, including artificial intelligence and machine learning, data integration, knowledge representation, visualization and analytics, natural language processing, formal methods, logic, type theory, programming languages, parallel computation, human-computer and human-robot interaction, and cybersecurity. Jointly with University of Edinburgh, we host the center for doctoral training “Edinburgh Centre for Robotics” and the UK’s first National Robotarium, that together form a £129M joint venture, a center of excellence for AI research on an international scale, and a research and innovation hub with >150 staff and PhD students. In RCUK’s recent Grand Challenges Scheme: Trustworthy Autonomous Systems (TAS), our academics form core teams in 2 out of 7TAS nodes (each node is supported by a £3M research grant). The two nodes stand for“Trust” and “Governance” in Autonomous Systems. Our grant funding in this area has also grown through being awarded jointly with another school at HWU an EPSRC Industrial Strategy Challenge Strategy Fund for the Robotics Hub for Offshore Robotics for Certification of Assets (ORCA) worth £14.6M, which is one of the largest industrial strategy challenge funds awards in Scotland. The department has strong collaboration with Industry. Since 2014, we have undertaken 107 projects with industrial partners, through our doctoral training centers (40 industrial partners), the ORCA hub (30 industrial partners), and the TAS nodes. Among our collaborators are Amazon Research, BP, Chevron, FiveAI, Horiba Mira, Imandra, Kawasaki, Kuka Robotics, Lloyds, Schlumberger, and many others. For further information, please consult the university job portal (h ttps://www.hw.ac.uk/uk/about/work/job-opportunities.htm <https://www.hw.ac.uk/uk/about/work/job-opportunities.htm>). For informal discussions about the position or the department of Computer Science please contact Prof. Ekaterina Komendantskaya (Head of Computer Science) at ek19(a)hw.ac.uk Alternatively, you may like to approach one of the members of the recruitment committee: James McKinna (Logic, Semantics of Programming languages, Verification), Ron Petrick (AI planning, Symbolic AI), Sasa Radomirovic (Security)

1 0

Logtalk 3.44.0 released
by Paulo Moura 03 Feb '21

03 Feb '21

Hi, Logtalk 3.44.0 is now available for downloading at: https://logtalk.org/ This release features new and improved linter checks; adds a new Handbook nomenclature section on the differences between Logtalk and Prolog; adds new Handbook glossary entries; adds libraries for CSV files reading/writing, option handling, and term input/output from/to atoms, chars, and codes; improves existing libraries; provides fixes and improvements for several developer tools; adds a shell script for generating Allure reports from test results; adds support for exporting test result in the xUnit.net v2 XML format; improves exporting of results in the JUnit/xUnit format; includes new and improved programming examples; adds new examples to the ToyCHR port; adds tests sets for the de facto standard hyperbolic arithmetic functions; adds additional tests for several arithmetic functions; adds Windows installer experimental support for creating an integration shortcut for Tau Prolog; updates the macOS installer support for users of the zsh shell; removes support for Qu-Prolog and for the multi-threaded version of XSB; and includes portability updates for LVM, SICStus Prolog, SWI-Prolog, Tau Prolog, Trella ProLog, YAP. For details and a complete list of changes, please consult the release notes at: https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md You can show your support for Logtalk continued development and success at GitHub by giving us a star and a symbolic sponsorship: https://github.com/LogtalkDotOrg/logtalk3 Happy logtalking! Paulo ----------------------------------------------------------------- Paulo Moura Logtalk developer

1 0

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

Ciao-users February 2021