Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
techhub.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A hub primarily for passionate technologists, but everyone is welcome

Administered by:

Server stats:

5.2K
active users

techhub.social: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#tudelft

3 posts3 participants0 posts today
Public
Dr. Anna Latour

BREAKING: TU Delft Strike programme was just released! 🔥🟥

🗓️ Date: 24 April 2025
📍 Main location: The field between Pulse and the Library
🕛 From 12:00: Free fries, speakers, music, and collective action!

Here’s what the day will look like:
🪧 08:30–12:00: Picket lines, banner making & walkouts
🚶‍♀️ 11:30: Coordinated walkout from all faculties
🎤 12:30: Stage programme with speeches and live music
✊ 13:15: March to Delft city centre
🔬 15:00–16:00+: Science fair & public mini-lectures

More info: linktr.ee/tudelft_strikes

Striking is your legal right.

No lectures. No meetings. No business as usual.

See you on April 24! 🔥🟥

LinktreeTU Delft Strikes | LinktreeTU Delft strikes on April 24 against the destructive budget cuts. Get involved!
#TUDelftStrike#StrikeApril24#KeepTheFlameBurning
Public *
Jesper Agdakx 🔸
With the NWO XL consortium on Cyclic Structures in Programs and Proofs, we are looking for 6 highly motivated and talented PhD students starting in September (with some flexibility).

The topics range from Modal logic, proof theory, and coalgebras to Programming languages, concurrency, and type systems and Proof assistants (#Agda, #Rocq).

Information about the positions and application procedure can be found on the website:

cyclic-structures.gitlab.io/vacancies/

Applications will be evaluated on a rolling basis but should be submitted by the 23rd of May for full consideration.

Please forward to any strong candidates you know!

#TypeTheory #ModalLogic #Concurrency #ProgrammingLanguages #TypeSystems #ProofAssistants #CyclicStructures #PhD #Netherlands #UniversityOfGroningen #LeidenUniversity #UniversityOfTwente #TUDelft #RadboudUniversity
Cyclic Structures in Programs and ProofsVacanciesBy Jorge Perez
#radbouduniversity
Public
Dr. Anna Latour

Taught a bonus lecture for a course on Algorithms for NP-hard Problems today. Material won't be on the exam, so technically, this lecture was "just for fun".

Quite some pressure to make coming to class on Friday morning 8:45am worth it for a gang of 20-year-olds.

Students were a hoot. They were listening actively and participating. Great to meet them. Had a blast 🙂

Afterwards, some of them thanked me for the "really great lecture" 🥺

Ab-so-lute-ly exhausted now.

#AcademicChatter#AcademicLife#StudentLife
Public
Dutch Reproducibility Network

4TU Research Data joined the NLRN as stakeholder member. We are happy to welcome the data repository of the 4 Technical Universities #TUDelft, @TUEindhoven #UniversityTwente and #WageningenUniversity to our network.

Stakeholder members are organisations that are relevant for enhancing the adoption of #reproducibleWorkflows but don't conduct research themselves. These include #dataRepositories, #research funding bodies or network organisations of #dataStewards.

logo of 4TU Research Data
#welcome#reproducibleresearch
Public *
Dutch Reproducibility Network

We are happy to share that @TUEindhoven supports the mission and vision of the NLRN, joining the network as fourth institutional member.
Liz Gutman Ramirez will serve as the Node Lead. Welcome aboard!

Institutional members are research performing organisations where the head of research or rector has signed the NLRN's mission. The other institutional member are #tudelft, RUG and the @eScienceCenter center.

Photo: Felipe Santana/Unsplash

Yellow and white balloons against a blue sky.
Public
Dr. Anna Latour

Vandaag om 11:30 bij Omroep Delft (radio):

Gesprek met VSSD bestuurslid Eise de Boer over de TU Delft staking op 24 April. We protesteren tegen de aangekondigde bezuinigingen van 1.2 miljard euro op het hoger onderwijs.

Luister live mee op omroepdelft.nl/radio

🟥

Wil je actief mee helpen met de organisatie van deze staking? Meld je dan aan via fnv.nl/tu-delft

www.omroepdelft.nlRadio | Omroep Delft
#WOInActie#DoeHetNiet#Eppocalypse
Public *
Dr. Anna Latour

TU Delft will join the relay strike on 24 April!

🟥

We are protesting the announced budget cuts of 1.2 billion euros on higher education in the Netherlands. This means that we have to cut about 10-20% of our budget.

Please join us in letting Eppo Bruins know that these budget cuts are unacceptable!

delta.tudelft.nl/en/article/tu

Strike
Delta · TU Delft will go on strike too: employees and students to suspend work on 24 April - DeltaOn Thursday 24 April, TU Delft students and staff will strike as part of the national relay of strikes against the cutbacks in higher education. The decision was taken on Thursday afternoon at a busy action meeting in Pulse held by the FNV and AOb trade unions and the VSSD students union.
#WOInActie#HigherEducation#Eppocalypse
ExploreLive feeds
About