Trinity College Dublin

The logic and learning (LOL) group is recruiting a postdoc partly funded by the ARC Prize Foundation. You will work with Associate Professor Andrew Cropper. We work on combining logical reasoning and machine learning. We focus on inductive logic programming (ILP), a form of inductive program synthesis which learns logical rules from data. The focus of this position is to develop ILP/program synthesis methods for the Abstraction and Reasoning Corpus (ARC) challenge. ARC is a benchmark designed to measure an AI system's ability to efficiently acquire new skills outside its training data. The focus is specifically on ARC-AGI-3, where systems must learn rules by interacting with their environment. The research will build on our IJCAI 2025 paper, where we showed that an off-the-shelf ILP system using raw pixels, only arithmetic, and a single CPU could perform reasonably well on ARC-1.  A start date before September 2026 is ideal but is flexible. The application deadline is February 5, 2026 (at 23:59 UTC +2). Requirements A PhD in computer science or a related topic Prior experience in SAT/ASP/SMT/MaxSAT is essential Any experience in model counting and a broader understanding of machine learning is also highly desirable Excellent English skills We offer The opportunity to do fundamental research and supervise students A world class academic community that promotes diversity, international engagement and equality. We encourage all qualified applicants from diverse backgrounds to apply for our positions 3-year full-time contract A starting salary of 3800-4150 euros/month depending on the appointees’ qualifications and experience Occupational health care and other social benefits Support for internationally recruited employees with their transition to work and live in Finland A chance to live in Helsinki and Finland renowned for their high-quality of life, services, and work-life balance Application instructions Applications shall be submitted through the University of Helsinki´s recruitment system and include the following documents: CV  A motivation letter (max 2 pages) Contact information of two referees to provide reference letters upon request  External applicants, please submit your application via the Apply Now button. Internal applicants, who have a helsinki.fi username and a valid employment/grant/visitor contract, please submit your application via the Employee login button. Additional information For more information on the position and the logic and learning (LOL) group, please contact Associate Professor Andrew Cropper (andrew.cropper@helsinki.fi). With technical questions related to the recruitment system, please contact recruitment@helsinki.fi.  *** The Department of Computer Science is a leading unit in Finland in its area and responsible for the teaching and research in computer science at the University of Helsinki. The main research fields at the department are artificial intelligence, big data frameworks, bioinformatics, data analysis, data science, discrete and machine learning algorithms, distributed, intelligent, and interactive systems, networks, security, and software and database systems. The department has extensive international collaboration with companies and universities. Within teaching, the department’s professors and staff are in charge of the Bachelor’s, Master’s, and Doctoral Programmes in Computer Science, as well as the separate Master’s Programme in Data Science, in which other departments also participate. 

About Us The Hainan Bielefeld University of Applied Sciences (BiUH) is the first international independent university in the Hainan Free Trade Port. Our approach combines theory and practice following the renowned "Work-Integrated University-Industry Collaborative Talent Training Model." We offer cutting-edge programs in high-demand fields: Digital Technologies, Computer Science, Logistics Engineering, Industrial Engineering, Mechatronics and Automation, Software Engineering and Business Administration. Our students benefit from small classes, English-language instruction with accompanying German courses, and intensive learning experiences. The focus is on mastering real-world professional challenges, enabling students to apply their knowledge immediately and preparing them optimally for the global job market. We combine international teaching standards with the unique opportunities that Hainan offers. BiUH is located in the Yangpu Economic Zone in Danzhou, a historic coastal city with direct high-speed rail connections to Haikou and Sanya. We invite passionate educators and researchers at all career stages, from early-career lecturers to established professors, to join our team. Both full-time and part-time positions are available for those committed to application-oriented education. Job Responsibilities Collaborate with Fundamental Science Department faculties to align with curriculum/syllabus needs; participate in lab layout, functional zoning, and equipment configuration planning Conduct market research on lab instruments, equipment and consumables; provide technical analysis, selection recommendations, and assist in procurement Oversee lab construction (utilities, networking, safety infrastructure) to ensure compliance with safety standards Manage acceptance, installation, debugging and calibration of new equipment; establish equipment inventory files Handle lab scheduling, reservations and usage records; maintain a clean and organized lab environment Perform regular maintenance, inspection and troubleshooting of lab equipment; manage consumables inventory and replenishment Develop/enforce safety protocols, conduct safety training and drills, and manage hazardous materials to ensure zero accidents Assist faculties in preparing lab materials (instruments, consumables, demonstration apparatus) for sessions Co-teach experimental physics courses: lead practical instruction and provide timely technical support for students’equipment issues Provide embedded instruction on lab techniques and instrument use for students; assist in guiding students’project / innovation / competition-related lab work Job Qualifications Master's degree or higher in Physics, Mechanical Engineering, Electrical Engineering, Mechatronics, Industrial Engineering, or a closely related scientific discipline Practical experience in Mechanical, Electrical, Mechatronics, or Industrial Engineering is highly preferred Prior study experience abroad will be an advantage Candidates with an interest or background in Artificial Intelligence (AI) are highly desired, particularly those enthusiastic about exploring applications of AI to augment and transform traditional lab work Strong understanding of the principles and apparatus used in general physics experiments (Mechanics, Thermodynamics, Electromagnetism, Optics, Modern Physics) Strong hands-on ability to independently install, debug, maintain, and repair common physics lab instruments Prior experience in laboratory setup, management, or as a teaching assistant in a higher education setting is highly desirable Familiarity with data acquisition/analysis software such as LabVIEW or MATLAB is a plus English is required (B2 or above); German is desirable Expected Onboarding Time Autumn Semester 2026 (August 2026) Salary and Benefits Competitive Salary in the Market (13th Month Salary) Allowance: Travel Allowance / Phone Allowance / High Temperature Allowance, Etc. 5 Types of Social Insurance and 1 Housing Provident Fund Commercial insurance Transitional Apartments Arrangement Working environment that is open to the world and strongly oriented towards sustainability, diversity and internationality How to apply Please prepare the following documents: Current English CV (including full publication list) Cover Letter (addressed to the Principal) 2 Reference Letters Teaching Qualification Documents, Qualifications (if available) Documents certifying the professor's (if available) Academic Degree Certificates Please import all files into one PDF Please name the PDF as "Position - Your Name" Please send all files to recruitment@hainan-biuh.edu.cn

The Role and the Department The Examinations and Assessment Team oversee the planning, scheduling and administration of centrally run exams and the publication of results. The Examination and Assessment Team is one of 6 teams that sit within the central Student Registry office. The Assistant Examinations Manager is responsible for managing the process of recording assessment marks in the central student records system by departmental staff, managing the production and publication of progression outcomes to all students, managing the recruitment, training, scheduling and payment of invigilators for University exams, and proactively identifying potential improvements to processes and systems in order to increase efficiency, both within the Exams Team and at University level. Student Registry is part of the Student and Academic Services Directorate. The directorate provides a professional administrative support service to staff, students and potential students of Durham University. The Academic Registrar is the head of the directorate and is responsible to the Chief Operating Officer for its management. The following services fall under the remit of the Student and Academic Services Directorate: Academic Registrar's Office Curriculum, Learning and Assessment Student Immigration and Funding Student Recruitment and Admissions Student Registry All of the services are based on the Mountjoy site in Durham City. The Student and Academic Services Directorate operate a hybrid working model with the opportunity to split working at home and in the Student Registry office, which is in the Palatine Centre, South Road, Durham.