To apply:

~ Postdoctoral Fellowships in Formal Methods and Programming Languages ~
https://fa-eosd-saasfaprod1.fa…

~ Tenure-track Assistant Professorships and Associate Professorships in Formal Methods ~
https://fa-eosd-saasfaprod1.fa…

(3/3)

We're looking for researchers passionate about formal methods, theorem proving, and programming languages. We want to push the boundaries of verified computing and make it a viable mainstream technology for the future of computing research and everyday software development.

🌍 Locations: Odense […]

~ Academic Positions in Formal Methods (postdoc, assistant prof., associate prof.) ~

The first positions at the Centre for Formal Methods and Future Computing (FORM, https://www.sdu.dk/form) are here! You'll work on the formalisation of computer science as part of a global initiative, CSLib, in […]

Meike Klettke from the University of Regensburg enlightened us about how variability is (not) handled in databases and which role it plays in data evolution.

Thanks a lot for broaden the horizons of our community🤩!

Jesús Moreno León is opening the 1st session on Applied Variability and Consistency with their research paper "Software variability as a new dimension of computational thinking: an exploration"
🔗Check the full paper: dl.acm.org/doi/10.1145/...

Martin Becker presented their industry paper titled "Navigating Heterogeneous Variability: Strategies and Insights from the Industrial Technology Division of ZF Friedrichshafen AG"
🔗Check full paper: doi.org/10.1145/3744...

📢Big news from the #SPLC2025 Town Hall!
This was the last SPLC Town Hall as we know it — starting next year, we join forces with VAMOS and ICSR to build a bigger community: VARIABILITY 2026 🎉

📍 See you in Limassol, Cyprus!
Join us @ #VARIABILITY2026!

We continue #SPLC2025 with a keynote by Marsha Chechik from University of Tortonto (@UofT, Canada)
Her talk: "Assuring Product Lines of Complex Systems" dives into the challenges and methods to ensure reliability in highly complex product line environments.

Yesterday we had a heartwarming reception at the A Coruña City Council. The event was hosted by our General Chair @miguelluaces.bsky.social, the Rector of @udc.gal Ricardo Cao, and the Councilor. A big thanks to the @concellodacoruna.bsky.social for their support in making #SPLC2025 a success!

SPLC2025 Session 5 – Machine Learning and LLMs is now underway!

We kick off with Mathis Weiß presenting the research paper "Automated Learning of Software Configuration Spaces is not Easy"
🔗Full paper: doi.org/10.1145/3744...

Every career path looks different, and mine is certainly not representative. Interestingly, little is known about typical career paths in the software industry. Let's change that with the career progression study: paulralph.name/career_progr...
Please repost!

Don't forget to submit your work to the 2nd Edition of EDTconf: The International Conference on Engineering Digital Twins #EDTconf25 !
- Abstract deadline: 4.7.
- Paper deadline: 9.7.
More at https://conf.researchr.org/home/edtconf-2025

🎉 Registration is OPEN for #SPLC2025!

📅Early bird registration until July 31 (AoE)
Each accepted main conference paper must be linked to a regular registration by this date.

Join us this September in A Coruña, Spain!
🔗https://2025.splc.net/registration/

#SoftwareProductLines #SPLC

📢 We’re excited to announce our #SPLC2025 keynote speakers!

🔸Marsha Chechik from @uoft.bsky.social
🔸Wesley Assunção from @ncstate.bsky.social
🔸Meike Klettke from @uniregensburg.bsky.social

Join us in A Coruña, Spain this September for inspiring talks and discussions!
#Keynotes #CFP

What a great chance to work on and finalize your contributions 😀
Looking forward to many interesting novel works on managing software product lines and configurable software systems 🤩

📢 Deadline Extended!
Wish granted, you now have 2 more weeks to submit to #SPLC2025!

New Deadlines:
Abstract: April 17
Full Paper: April 24

📢 Selected papers will be invited to a SoSyM Special Issue! Don't miss this chance!
#SPLC #SoftwareProductLines #CFP

📢 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