Software Modelling and Optimization for AI Computing Architectures
Software Modelling and Optimization for AI Computing Architectures
About the Project The Centre for Electronics Frontiers (CEF) led by Regius Chair of Engineering Prof Prodromakis, brings together diverse and interdisciplinary expertise for transforming modern society through technology. Our … Read More Read More
Categories:
Large-Scale Digital AI systems for Large Language Models (LLMs)
Large-Scale Digital AI systems for Large Language Models (LLMs)
About the Project The Centre for Electronics Frontiers (CEF) led by Regius Chair of Engineering Prof Prodromakis, brings together diverse and interdisciplinary expertise for transforming modern society through technology. Our … Read More Read More
Categories:
[FSE Bicentenary PhD] Building and deploying a state-of-the-art CMB telescope to Chile to study the early Universe
[FSE Bicentenary PhD] Building and deploying a state-of-the-art CMB telescope to Chile to study the early Universe
About the Project Simons Observatory (SO) is a new Cosmic Microwave Background (CMB) Observatory located in the high Atacama Desert in northern Chile. Its primary objective is to search for … Read More Read More
Categories:
Intelligent Software Engineering in the era of Large Language Model
Intelligent Software Engineering in the era of Large Language Model
About the Project Given the tremendous development of AI in recent years, innovations like the Large Language Model (LLM), e.g., ChartGPT, have significantly impacted our daily lives. Indeed, LLM does … Read More Read More
Categories:
Self-evolving AI (LLM) Software Systems
Self-evolving AI (LLM) Software Systems
About the Project Software systems are eating the world but Artificial intelligence (AI) is eating the software systems. When we are using AI or Large Language Model (LLM), we rarely … Read More Read More
Categories:
Programming Language Design and Implementation for IDEs
Programming Language Design and Implementation for IDEs
About the Project Programming languages typically have a particular syntax and semantics, chosen by their designers, and both are often variations on those of existing similar languages. The basic tasks … Read More Read More
Categories:
Making Efficient Sound Gradual Typing Fit for Industry Adoption
Making Efficient Sound Gradual Typing Fit for Industry Adoption
About the Project The goal of this project is to solve remaining problems in the design and implementation of gradually-typed programming languages that prevent sound and well-behaved gradual typing from … Read More Read More
Categories:
Computer vision and robot control for performing on-wing repair of aero-engines - (ENG - 193)
Computer vision and robot control for performing on-wing repair of aero-engines - (ENG - 193)
About the Project Rolls-Royce University Technology Centre (UTC) in manufacturing and On-Wing Technology, The University of Nottingham. Applicants are invited to undertake a 3 year PhD programme in partnership with … Read More Read More
Categories:
Trusted-Edge and Semantic-based Approach for Dependable IoT and Smart Systems
Trusted-Edge and Semantic-based Approach for Dependable IoT and Smart Systems
About the Project The integration of sensors and embedded devices for the purpose of data acquisition to support human activity recognition, management of living challenges, and behavioural patterns for the … Read More Read More
Categories:
Fully funded 𝐏𝐡𝐃 𝐩𝐨𝐬𝐢𝐭𝐢𝐨𝐧𝐬 in Software Engineering at ÉTS, Montreal
Fully funded 𝐏𝐡𝐃 𝐩𝐨𝐬𝐢𝐭𝐢𝐨𝐧𝐬 in Software Engineering at ÉTS, Montreal
Our research group is looking for exceptional candidates to join us and work onresearch projects related to 𝐓𝐫𝐮𝐬𝐭𝐰𝐨𝐫𝐭𝐡𝐲 𝐀𝐈 and 𝐒𝐨𝐟𝐭𝐰𝐚𝐫𝐞 𝐄𝐧𝐠𝐢𝐧𝐞𝐞𝐫𝐢𝐧𝐠 𝐨𝐟 𝐀𝐈-𝐛𝐚𝐬𝐞𝐝 𝐬𝐲𝐬𝐭𝐞𝐦𝐬.𝐐𝐮𝐚𝐥𝐢𝐟𝐢𝐜𝐚𝐭𝐢𝐨𝐧𝐬:- Master's degree in Computer Science, … Read More Read More
Categories: