🔥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

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…

We’re presenting the first AI to solve International Mathematical Olympiad problems at a silver medalist level.🥈 It combines AlphaProof, a new breakthrough model for formal reasoning, and AlphaGeometry 2, an improved version of our previous system. 🧵 dpmd.ai/imo-silver

Congratulations! 🎉 “STEVE: A Rational Verification Tool for Stackelberg Security Games” by Surasak Phetmanee, Michele Sevegnani, and Oana Andrei Accepted at the 19th International Conference on Integrated Formal Methods! 📅 13–15 November 2024 📍 University of Manchester

🚀Calling all #educators, 🙏🏻 complete & RT our anonymous survey exploring staff perspectives of #GenAI in #HigherEducation 📚while also collecting GenAI #BestPractices in #Teaching, #Learning & #Assessment to build an OA repository of knowledge 🔗 tinyurl.com/bdh68c2d

We’re celebrating the acceptance of our paper at a Thai restaurant! Ready for the next move. 🎉 Michele Sevegnani Oana Andrei

📢 Join our 2024-25 SICSA Education Learning & Teaching Scholars Programme 🌟 🗓️Applications open on 13 September Find out more in our Director of Education, Matthew Barr's blog post ⬇️ sicsa.ac.uk/blog/2024-25-s…

Exciting first day at our #Cryptography Workshop, part of the Quantum Technology School, University of Glasgow! Blair Archibald and I want to thank to the amazing tutors as well as UofG Computing Science and UofGGAs for their support in making this event possible! #QTSGlasgow2024 #Outreach #STEMEducation #QuantumTech

If you're a scientist just starting out, have you seen the Royal Society's career pathway roadmap? See yourstemcareerpath.royalsociety.org

“The Devil's Guide to Doing your PhD - 10 tips for despair, dismay, and disappointment” - this was the eynote I gave today at the ISSTA Conference 2024 doctoral symposium. My slides are now available at slideshare.net/slideshow/the-… - enjoy!

Celebrating #AdaLovelaceDay with our inspiring Women In Computer Science seminar series Delighted to have Oana Andrei from UofG Computing Science share her research in algorithmic thinking. Thank you Matthew Barr for connecting us to an inspirational academic & fantastic role model

Come talk to us at the Open Day about all undergraduate degrees we have on offer!

Abstract submission for bcswomen #immodestwomen Lovelace 2025 is now open - bcswomenlovelace.bcs.org/?page_id=92 Please share: we're the main UK conference for women+nb students studying computing and related subjects.

"Computational Thinking: The Idea That Lived," by Dr. Shuchi Grover 🇮🇳🇺🇸🌎, says the idea of computational thinking, resisted by some in its application to #K12, has not only survived, but is more important than ever in an age of AI. bit.ly/3C5V4Fs

If you want to discuss TyDe (Type-Driven) Trustworthy Systems Research & work with me, University of Strathclyde Cyber Security Group and MSP Group (now at mastodon.acm.org/@mspstrath) then please get in contact through email! More details about *Studying with Me* are here: tyde.systems/page/studying/

Excited to welcome prospective PhD students! I’m available as a supervisor for projects on socially responsible computing, algorithmic thinking skills, theoretical CS education, widening participation in HE. Check out the info session and scholarship details 👇 #CompSciEd

Find out how you can fast track your #SoftwareEngineering career with a University of Glasgow #graduateapprenticeship. Join us on 18 Nov online to hear from our partners & gain top tips 👉vacancies bit.ly/UofGGASE2025 👉18 Nov webinar bit.ly/4hDIRYQ

New postgraduate programme: MSc in #Cybersecurity! Learn through research-led teaching from industry experts and prepare yourself with practical skills to tackle today's digital challenges in Cybersecurity💻 Apply today: gla.ac/cybersecurityX

Our #SoftwareEngineering Graduate Apprenticeships provide the unique opportunity to combine study & work! 🎓 We caught up with our 2nd cohort at their graduation. Congratulations UofGGAs! 🥳 Applications for 2025 are open ⬇️ gla.ac.uk/schools/comput… UofG Computing Science UofG SciEng

In June we celebrated the Class of 2020 #softwareenegineering #graduateapprenticeship graduation. Our partners are recruiting for 2025 - don't miss out gla.ac.uk/schools/comput… Skills Development Scotland Computing Science Scotland Education Scotland

Choosing the right #ResponsibleAI training matters. Our latest #blog outlines key factors to consider for your next training program. 📰rai.ac.uk/four-things-to… Contributions from a group of multidisciplinary academics and civil society organisations!