Login

Recent searches

No recent searches

Search options

Only available when logged in.
mastodon.ar.al is one of the many independent Mastodon servers you can use to participate in the fediverse.
This is my personal fediverse server.

Administered by:

Server stats:

1
active users

mastodon.ar.al: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.8

#UniversityOfGroningen

0 posts0 participants0 posts today
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/

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
UnivGroJobs (By: Jako Jellema)

A few of the open positions in #Groningen:

#Google #Workspace #Engineer (1,0 fte)
Department: Centrum voor Informatie Technologie
( @CIT_RUG )

PhD in Systems and Control
Department:Faculty of #ScienceAndEngineering

PhD Self-assembling #polyolefin network materials from #polymer #waste (1.0 FTE)
Department: Faculty of #Science and #Engineering
#PHDposition #WasteManagement

#IT-auditor (0,8-1,0 fte)
#ITauditor
Department:University Services

rug.nl/about-ug/work-with-us/j #UniversityOfGroningen

University of Groningen · Job opportunities at the university
Public
Tom Theuns

Susanne Täuber, an Associate Professor at the #UniversityofGroningen who won a national prize for her efforts to improve working conditions at university, is being fired for speaking up against intimidation, discrimination and harassment.

#AmINext? #academicfreedom #universityharassment #lifttherug

ukrant.nl/protests-against-pot

ukrant.nl/susanne-tauber-award

headshot with the text #AmINext? written in red font.
ExploreLive feeds
About