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

We're looking forward to being involved in this new research project looking at how AI operates in law enforcement. It's a tool which can transform the way we work, but it must be used appropriately and in line with our communities' expectations.

Congratulations Prof. Prof Marion Oswald, MBE Northumbria Uni for the outstanding Keystone Project "PROBabLE Futures", awarded nearly £3.5 million. The research will involve collaborators from University of Glasgow UniofNorthamptonNews Cambridge University University of Leicester University of Aberdeen National Police Chiefs' Council (NPCC) and more!

Delighted to be one of Responsible Ai UK's 3 Keystone projects announced by Gopal Ramchurn & Sana Khareghani yesterday. Great team of Co-Is & partners invested in responsible AI in the law enforcement domain. Interested in collaboration/future roles, go to northumbria.ac.uk/about-us/acade…

Prof. Steve Benford (Steve Benford) is the Dunford Professor of Computer Science at the Uni of Nottingham #WeAreUoN where he co-founded Mixed Reality Lab. His research explores artistic applications of digital technologies. Listen to our chat here: robottalk.org/2024/05/10/epi… #Robot #Robotics

The blind faith people have in tests is ridiculous You still need the same amount of types regardless of the testing framework. Tests cannot eliminate entire classes of errors, but static types can! Why is this a debate even?

We mourn the loss of our friend and founding benefactor, Jim Simons. Jim was visionary, brilliant, and generous beyond measure. He has left an indelible mark on our field.

Seeking Project Manager based at Northumbria Uni for our Responsible Ai UK Keystone project 'PROBabLE Futures: Probabilistic AI in Law Enforcement Futures' to take a key role in achieving objectives. Application deadline 29 May. Happy to consider job shares work4.northumbria.ac.uk/#en/sites/CX_1…

We are very happy to announce the more than 90 exceptional researchers from across the world who have been elected to the Fellowship of the Royal Society this year, recognised for their invaluable contributions to science. Meet the new Fellows here: royalsociety.org/news/2024/05/n…

A hybrid public panel about Scotland’s role in #Space Sustainability on 4 June from 15:30 at Higgs Centre for Innovation at Edinburgh's Royal Observatory The discussion aims to evaluate Scotland’s role in space sustainability within the framework of UN and UK regulations. bit.ly/SCGA2024

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…

Our sister project, PROBabLE Futures, is seeking a Research Associate to work at University of Glasgow with a background in AI, fairness and explanations. Apply at jobs.ac.uk/job/DIT105/res… deadline 6 August 2024

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…