PhD Opportunity in Data Analytics, Artificial Intelligence, Optimization, and Sustainable Energy Systems at Universiti Teknologi PETRONAS Universiti Teknologi PETRONAS in Malaysia

PhD opportunity in Formal Verification of Configurable Safety-Critical Systems at Fondazione Bruno Kessler in collaboration with the University of Udine , Italy. This opening is for a PhD candidate interested in formal verification , safety-critical systems , and related computer science / mathematics research. The project focuses on verifying configurable systems where correctness and reliability are essential. Eligibility: applicants should hold a Master Degree or equivalent . The post is a fu...

Cornell University’s Department of Mathematics is inviting applications for a Postdoctoral Associate focused on mathematics , auto-formalization , and proof assistants such as Lean . The position centers on developing and administering a benchmark for auto-formalization of mathematics, contributing to a benchmarking dataset, organizing and quality-checking contributed data, building tools to support data creation, and supporting the Math+AI laboratory. This is a research-oriented postdoctoral ro...

PhD Student Opportunity at Universiti Malaysia Pahang Al-Sultan Abdullah (UMPSA) in a project on Microwave Sensor for the Determination of Microplastics . The research combines microwave sensing , materials science , microplastic analysis , and machine learning to detect and quantify microplastics in water. This is a strong fit for candidates interested in sensor development, applied physics, environmental monitoring, and data-driven analysis. Funding: Monthly allowance of RM2,200 for 3 years (f...

Fully funded PhD opportunity in Energy Systems Resilience at the University of Canterbury in Christchurch, New Zealand . The project focuses on how Aotearoa New Zealand’s future energy system can remain resilient as hazards, climate change, and technology evolve. The position is with the Sustainable Energy Research Group (SERG) and involves collaboration with partners at Urban Intelligence . The post advertises up to 3 PhD students for a 3-year doctoral research project. Funding: NZD 35,000/year...

Multiple Master's and PhD positions are being advertised in Applied Computer Vision at the University of Laval , Canada. This opportunity is relevant for students interested in Computer Science , Electrical Engineering , and related AI/vision topics such as image analysis, machine learning, and applied computer vision research. The post does not provide detailed eligibility criteria, funding information, or an application deadline. It also does not include a direct application link or contact em...