🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Can probabilistic formal models help drone swarm operators improve performance without affecting workloads? Yes they can! Find out more: dl.acm.org/doi/10.1145/36… #formalmethods #drones #swarms #uavs

A fantastic keynote by Muffy Calder at #LambdaDays! Her insights on connecting math with industry cases are truly inspiring. I now want to model communication systems with process algebra!

It's that time of year once more! Applications now open for our latest round of funding awards. Awards range from £2,500 to £7,500 - learn more on our website here: scga.scot/2024/06/19/fun…

Glasgow University seeking a Research Associate in probabilistic modelling, statistical methods for ML for our Responsible Ai UK Keystone project 'PROBabLE Futures', working closely with Michele Sevegnani & Muffy Calder. Closes 6 August. jobs.ac.uk/job/DIT105/res…

Final days to apply for this position.

We're delighted to be supporting a £46m investment in a new research hub that will use digital twin technology to rapidly decarbonise transport systems. More: orlo.uk/fczj7 University of Glasgow Heriot-Watt University

Consider applying for this position if you have some experience in formal verification, programming languages, and software engineering.

You will work with me, Blair Archibald , and Muffy Calder on Milner's bigraphs, probabilistic model checking, statically typed programming languages, and data-driven runtime models for digital twinning. UofG Computing Science TransitTwin

Excellent news! Congratulations also to Blair Archibald, Muffy Calder UofG SciEng , Paul Harvey, Dimitrios Pezaros netlab, and Michele Sevegnani who are co-investigators from the School of Computing Science 👏

Last days to apply for this position. Closes 24 August. jobs.ac.uk/job/DIW839/res…

Hello I am advertising a fully funded UK PhD studentship with £26k stipend (industrial iCASE). If interested DM me. cranfield.ac.uk/Research/PhD/C…

Soft power ‘can help Scotland punch above weight on global stage’ Dr Mateja Peter, head of Scottish Council on Global Affairs , said country could serve as base for mediation talks given its unique geopolitical status TimesEditorScotland The Times and The Sunday Times #Scotland #softpower bit.ly/MPStA24

📢We’re back with next episode of Responsible Ai UK "In Conversation with" #webinar series! Join us for an engaging session with Prof Marion Oswald, MBE and Joel Fischer about the £3.4M PROBabLE Futures Project! 🗓 23 October 2024 ⏰11:00am - 12:00pm 📌Register: events.teams.microsoft.com/event/2af48a35…

Applications are now open for DiveIn CDT, our groundbreaking interdisciplinary Centre for Doctoral Training. The Centre aims to bring together diverse teams to tackle interdisciplinary, mission-driven challenges at the forefront of research. More: divein.org.uk

Two UofG Computing Science PhD Opportunities within TransitTwin Hub. Project 1️⃣: Evolving Federated Digital Twins with Symbolic Ontologies (findaphd.com/phds/project/p…); Project 2️⃣: Reconfigurable Federated Digital Twins for Resilience (findaphd.com/phds/project/p…) Michele Sevegnani Paul Harvey Dimitris Pezaros

Please RT and help us to reach to broader community for recruiting diverse cohort of students for our DiveIn CDT . Applications are now open.

🚨 Join Our Growing Team! 🌟 Part II Our lab at the University of Glasgow CCNi_UofGlasgow is expanding, and we’re excited to offer a PhD position in AI for Precision Medicine! with Fred Ho , @don_sci , and katie gallacher ! Apply here: gla.ac.uk/postgraduate/d…

Final days to apply!

A Ph.D. studentship with John Williamson & myself University of Glasgow in the ERC DIFAI project will look at developing “mediating mechanisms” as a way to link machine learning to HCI in tightly-coupled control loops. Deadline 14th Jan. findaphd.com/phds/project/p…

Michele Sevegnani (Michele Sevegnani) is organising the 57th workshop on probabilistic Artificial Intelligence systems, part of the #2ndMTGEW. Register for the world congress on evidential legal reasoning! gironaevidenceweek.com