Jan de Muijnck-Hughes

345 Followers
239 Following
3K Posts
Lecturer of type-driven approaches to trustworthy-systems (CyberSecurity) at Strathclyde. Professionally interested in PL & FM Methods; socially interested in coffee, politics, music, the outdoors, sci-fi, high fantasy, & much much more! My work doesn’t define me; it is not my identity.
wwwhttps://tyde.systems/
Pronoun’she/his
Locations🇳🇱 🏴󠁧󠁢󠁷󠁬󠁳󠁿 🇬🇧 🇪🇺

The accessibility checklist for academic conferences and events that I had a hand in producing now has its own proper address, not under my staff webspace:

https://accessible-events.ncl.ac.uk/

If you work at a university and you're planning any sort of gathering of people, please have a look at it. It contains practical advice about how to make sure people of all sorts are included and able to take part in your event.

#accessibility

Accessible conferences and events project - Project overview

Today we launched https://code.overheid.nl: the NL government-wide code platform 🥳🥳

Code.overheid.nl is a pilot in which we are going to test @forgejo; an open source and sovereign alternative to GitHub/GitLab.

This is an initiative of @BZKopensource, in collaboration with our friends from team DAWO (SSC-ICT), @opensource , @developer , and a number of participating government orgs. 🤝

@tomootes from developer.overheid wrote a nice piece about it: https://developer.overheid.nl/blog/2026/04/24/we-gaan-samen-code-overheid-bouwen

@bo @johan @marlenabcn

Forgejo: Beyond coding. We forge.

Forgejo is a self-hosted lightweight software forge. Easy to install and low maintenance, it just does the job.

Forgejo: Beyond coding. We forge.

I should write a python tool to do this, it is basic data science and no idea why we cannot have a drill to do this.

It is not as if we do it multiple times per year, every year....

oh wait...

As a user I want my big drill to automatically generate certain plots about my data, and statistics so I can package to a local drill in xlsx format...

Big Drill: only histograms and some statistics..

Me: Throws big drill in the bin.

Me: Turns to Locally Made drill, can I give you the data, and you can give me plots and statistics.

Locally Made drill: for some of your final data yes and not to you but your boss can get it later and they can share it with you...

Me: Throws locally made drill in the bin

Me: Turns to Office365 drill, can you do this for me;

Office365 Drill: yes but it will cost you...

Me sighs, cuts finger, draws pentagon and sigils, and chants...

That feeling when you realise you may have left your nice travel cutlery in the public work kitchenette.

I’ve not been in for a few days. Fingers crossed it is still there…I cannot find them anywhere at home…

Any academics I follow interested in moving to Europe? My department here in Maastricht, Netherlands, is hiring:

Associate Professor in System and Network Security, open until May 10, 2026
https://vacancies.maastrichtuniversity.nl/job/Maastricht-Associate-Professor-in-System-and-Network-Security/1357701057/

Assistant Professor in Computer Systems, open until May 10, 2026
https://vacancies.maastrichtuniversity.nl/job/Maastricht-Assistant-Professor-in-Computer-Systems/1357700157/

Both of these are for the equivalent of tenure-track, i.e. after a 18-month probationary period, you have a permanent contract.

I'm happy to tell anyone interested about the university, the department, the role, the city of Maastricht, or about moving to the Netherlands as an English-speaker.

#GetFediHired #Vacancy #Jobs #Hiring #AcademicChatter

Associate Professor in System and Network Security

Associate Professor in System and Network Security

Urgh. Why on earth do you want a battery powered system for a bin to make it ‘no touch’.

Pedal bins are just as good and repairable.

Shame though, it’s a nice looking bin….

Back to books - Sweden's schools give up digital learning https://www.bbc.co.uk/news/articles/cly0vk77vdko
Back to books - Sweden's schools give up digital learning

Swedish classrooms swap laptops for books, pens and paper, raising concerns from the tech sector.

BBC News

The UK government has blanked the risks of US tech dependency for too long.

Our digital infrastructure is a strategic asset.

But that understanding is absent in how we hand out public sector contracts and allow UK tech sector sell-offs to foreign companies.

We must shift the dial.

Read more ⬇️

https://www.openrightsgroup.org/blog/the-case-for-digital-sovereignty-and-the-digital-commons/

#DigitalSovereignty #bigtech #tech #opensource #ukpolitics #ukpol

The case for Digital Sovereignty and the Digital Commons

Our new report asks a profound question: just how dependent is the UK on US technology, and what could that mean for the UK’s sovereignty?

Open Rights Group
Our department is hiring an assistant professor in computer science (including programming languages). If you would like to join our small but diverse PL group in beautiful little Delft, please don't hesitate to apply! Also feel free to reach out to me if you want to know anything about our department or academic life in the Netherlands.

Deadline for applications: 11th of May

academictransfer.com/en/jobs/360114/assistant-professor-in-computer-science/

#TUDelft #AssistantProfessor #Hiring #ComputerScience #SoftwareTechnology #ProgrammingLanguages #TypeTheory #SoftwareVerification #Agda #Rocq
Assistant Professor in Computer Science

Develop the next generation of CS and AI intelligence technology that powers science and society at TU Delft. Combine research with real technological impact while educating talented students. Job description Are you inspired by shaping the next generation of…

AcademicTransfer