📢 Job Alert: PhD and PostDoc positions at the Centre for Formal Methods and Future Computing (FORM) in Denmark. Application links below. 👇 If you are interested in programming languages and distributed systems, with an emphasis on foundations and formal methods, feel free to get in touch.

🎉 our PhD student Judith Kankam-Boateng just had her first lead-author paper accepted at #CHI2026 @chi.acm.org Using workshops and focus groups, Judith mapped cybersecurity mental models across stakeholders in Denmark’s defence sector: • Policymakers • Industry Associations • SMEs Key insight 👇

CSLib just launched — an open-source effort to formalize computer science in Lean, inspired by Mathlib. CS researchers, practitioners & enthusiasts are invited to get involved! Learn more at: 🌐 cslib.io 🤝 Contribute: github.com/leanprover/c... #LeanLang #LeanProver #CSLib #FormalVerification

The next Lean FRO office hours are Feb. 11 at 4pm UTC. Bring your questions, share your projects, or just come to learn from others in the community! See our full calendar here: lean-lang.org/community/#e... #LeanLang #LeanProver

The 2nd Workshop on Choreographic Programming (CP 2026) is co-located with @sigplan-pldi.bsky.social this year! Talk proposals are due in just a couple months. Please out the website and please share widely. pldi26.sigplan.org/home/cp-2026

4 𝐎𝐩𝐞𝐧 𝐏𝐨𝐬𝐢𝐭𝐢𝐨𝐧𝐬 (𝐏𝐡𝐝, 𝐏𝐨𝐬𝐭𝐝𝐨𝐜, 𝐅𝐮𝐥𝐥 𝐏𝐫𝐨𝐟𝐞𝐬𝐬𝐨𝐫) 𝐚𝐭 𝐭𝐡𝐞 𝐃𝐃𝐂!!! 😯🤩 The DDC is expanding its team with *4* new opportunities for researchers passionate about the intersection of AI, media, democracy, & society. Deadline: 📅 Feb 15 for 3 of these roles! The Professorship deadline follows in March.🧵👇

TLDR; The PSF has made the decision to put our community and our shared diversity, equity, and inclusion values ahead of seeking $1.5M in new revenue. Please read and share. pyfound.blogspot.com/2025/10/NSF-... 🧵

"Theorem Proving in Lean 4" is the essential guide for anyone using Lean for mathematical proofs. Kept up-to-date with each new Lean release, it covers everything from basic tactics to advanced proof strategies. Read the book here: lean-lang.org/theorem_prov... #LeanLang #LeanProver #Mathematics

Denmark invests 80M DKK in digital sovereignty. Minister of Digital Affairs @carolinestage.bsky.social will lead initiatives to reduce dependency of big tech. Money will be spent on developing and testing alternatives. www.digmin.dk/digitaliseri...

I gave a talk at PLDI '25 about the future of Actor GC in Apache Pekko - with applications to #akka #erlang and #elixir. It's the culmination of my 6+ year PhD at UIUC, and I tried to make the talk really fun and easy to follow :) Check it out here: www.youtube.com/live/lGM37Z3...

#AI-powered peer reviews are here: `ReviwerGPT' landed at AAAI aaai.org/aaai-launche... The high volume of papers for flagship conferences like AAAI is putting a strain on reviewers--nothing new here. Tools to help reduce workload are clearly needed. But are #LLMs the right way to do that?

What links cybersecurity awareness and supply chain risk management, and why does it matter for small manufacturers? We explore how these factors shape firm performance in our latest paper doi.org/10.1108/SCM-... in the journal Supply Chain Management. #Cybersecurity #SupplyChain #C-SCRM #SMEs

How GenAI will help in education /s. Vasari's chapter on Giotto has a story about a commission gone bad. Here is the original (de Vere), GPT-4, Claude 3.5, and Google Search. You just have to ask the right question—even on old, famous content!—to break it BADLY! #Italy25

We need a conference on Usable Formal Methods. Every submission to it must come with a verifier,a set of positive/negative examples for it, and, most importantly, an exercise. A review may give a positive score only if it provides a solution to the exercise, which is accepted by the verifier.

The days of Google Docs are ending; we enter the age of Docs, made by France's Interministerial Directorate for Digital Affairs and Germany's Center for Digital Sovereignty of Public Administration. We need more governments to collaborate on public software projects to achieve digital sovereignty.

📢 Workshop on Safe Production in Uncertain Times 📅 24 June at @sdu.dk #Kolding A deep dive at the intersection of #cybersecurity, #geopolitics, and #governance in the context of safe production. 👉 event.sdu.dk/gaa-hjem-moe... 👈 Organised by cyber-smv.dk funded by @industriensfond.bsky.social

The EU announced a defence and security preparedness development plan. Good.

📢 #AcademicJobs Multiple Computer Science professor positions (all levels) available @sdu.dk 🇩🇰. Assistant and associate positions: fa-eosd-saasfaprod1.fa.ocs.oraclecloud.com/hcmUI/Candid... Full professor and centre leader position: fa-eosd-saasfaprod1.fa.ocs.oraclecloud.com/hcmUI/Candid...

🚨 Europe’s digital dependence is a ticking time bomb – but we can still turn the tide. Jan Stentoft, @vckeating.bsky.social, and I explore how Europe's reliance on digital imports threatens our sovereignty and security and how we can reclaim control over our digital future. tinyurl.com/2p9hwnc3

📢 Faculty Job! We're hiring Assistant (tenure-track) & Associate Professors in AI, Cybersecurity & Programming Languages in our research group @sdu.dk 🇩🇰 🔗 About us: acp.sdu.dk 📝 Apply: fa-eosd-saasfaprod1.fa.ocs.oraclecloud.com/hcmUI/Candid... ⏳ Deadline: 2025-02-01 #AcademicJobs #ResearchJobs

#GeologyJokes make me happy 😊

I met Valentino Picotti when I supervised his bachelor project and today I'm excited and proud to share that he successfully defended his PhD dissertation "Language Support for #Microservices Development". It's been a pleasure to work with him and be his supervisor together with Fabrizio Montesi.

Project Chords is officially started: an ambitious research initiative to explore the theory and practice of Choreographic Programming on an unprecedented scale. The project's goal is to enhance the effectiveness, transparency, and safety of developing connected digital systems. 👉 chords.dev 👈