Mastodawn

Do you want to use functional programming to find new ways to develop, test and formally verify software or hardware? Come and work with us! [Patrik Jansson, Koen Claessen, Mary Sheeran]

We are announcing two ProgLang PostDoc positions in the FP group at Chalmers. The underlying projects funding them are flexible, meaning we can tailor the exact research to your unique strengths.

We are looking for people who want to bridge mathematical foundations and practical software development using tools like #Haskell and #Agda. Whether your expertise lies in building #DSLs, property-based testing, or interactive theorem proving, Chalmers provides the ideal environment for research on programming with formal guarantees — a topic of increasing practical importance.

Some of my recent work, which could be nice to connect to, is posted here: https://patrikja.owlstown.net/posts

Deadline: 2026-08-15. Please apply, or boost to spread the ad to your networks!

https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=14954&rmlang=UK

#FunctionalProgramming #FormalMethods #PostDoc #AcademicJobs #TypeTheory #ComputerScience

Patrik Jansson - Blog posts

Bart Janssens 🇧🇪Jun 8

We are hiring a research engineer for the SPECTRE project, which involves experiments around explosions 🧨 💥

#academia #academicjobs #research

https://www.linkedin.com/jobs/view/4421695975/

Royal Military Academy, Belgium hiring Research Engineer in Brussels, Brussels Region, Belgium | LinkedIn

Posted 12:04:09 PM. APPLICATION BY EMAIL according to the application rules hereunder (not via LinkedIn). Please attach…See this and similar jobs on LinkedIn.

Trudie Walters

Jun 6

So I opted for voluntary redundancy in the current round of staff cuts at Lincoln Uni - final day of work will be next Thursday 11 June. Then we are escaping for two nights to mark the occasion and consider our new reality. Our house will be up for sale next week as we want to move back to Ōtepoti. If anyone has any remote short term research assistant work (or similar), no matter how small, I’d be very grateful! I am a social scientist/academic with over a decade of experience with qualitative methods. Also, if anyone hears of a job going in Ōtepoti that would be most excellent!! I am open to anything kind of university/polytech and/or research related… just gonna put it out there… Thanks #FediFriends! #GetFediHired #AcademicJobs #SocSci #Research (edited to add more hashtags)

Christopher Kyba 🇨🇦🇪🇺May 29

Job offer: https://iiasa.ac.at/sites/default/files/2026-05/CSGP%20vacancy%20announcement_0.pdf

#CitizenScience #FediHire #AcademicJobs

GRK 2571 - Empires May 26

🎓 We are hiring!

The Research Training Group 2571 “Empires: Dynamic Change, Temporality and Post-Imperial Orders” invites applications for 4 three-year (65%) postgraduate positions (f/m/d). Start: 1 November 2026, ID no. 00005001.

⏰ Application deadline: 21 June 2026.

Please apply exclusively via the university portal: https://uni-freiburg.de/en/job/00005001/ (email submissions not accepted).

We offer a structured doctoral programme, international networking, and a supportive environment across multiple disciplines (History, Sociology, Political Science, Islamic Studies, and more). We strongly encourage international applicants.

@unifreiburg @dfg_public @empires @mehlera @jabunna @ManuelaBoatca @histodons @fs_islamwissenschaft @sociology @politicalscience

#academicjobs #stellenanzeige #academicmastodon #phd #histodons #empires #history #academia #phdpositions #politicalscience #decolonial #callforapplications

Michael Meckler May 25

The University of Oxford plans to appoint a part-time (80%) fixed-term Departmental Lecturer in Medieval Irish Language and Literature. The successful candidate will be appointed from 1st October 2026, or as soon as possible thereafter, for a period of up to four years. Applications close at noon BST on Monday 15 June 2026. Interviews are expected to take place during the week of 6 July 2026.

Full information is available at the link below.

#AcademicJobs #Oxford #Irish #medieval #CelticStudies

https://tinyurl.com/4pa5mpfx

Job Details

Urbanism Now May 22

ETH Zurich’s Institute of Technology in Architecture is hiring for numerous roles, including assistant, research associate, architect/civil engineer, postdoctoral researcher, research assistant, software engineer, intern and PhD positions.

https://www.linkedin.com/posts/architecture-engineering-research-share-7457385010812104704-Yy4d/

#urbanism #urbanplanning #Architecture #ETHZurich #AcademicJobs

#architecture #engineering #research #ethzurich #jobs #phd #hiring | Institute of Technology in Architecture, ETH Zurich

🚀 We’re hiring at the Institute of Technology in Architecture, ETH Zurich! Looking to shape the future of architecture, construction, and digital design? Check out our latest opportunities 👇 🔹 Assistant – Building Materials – Foundations Studio (40–60%) https://lnkd.in/enW8GCWB 🔹 Research Associate – Construction Heritage & Preservation (80–100%) https://lnkd.in/ePD9wq3D 🔹 Architect / Civil Engineer – Sustainability, Living Lab HIL (100%) https://lnkd.in/eNmDbGmw 🔹 Postdoctoral Researcher – Construction Heritage & Preservation (100%) https://lnkd.in/e9X5bjHw 🔹 Research Assistant – Construction Heritage & Preservation (60–100%) https://lnkd.in/ebHmGhCg 🔹 Software Engineer – Extended Reality in AEC (80–100%) https://lnkd.in/e4-eRAta 🔹 Intern – Fabrication & Robotic Construction (100%) https://lnkd.in/ekWdZGRt 🔹 PhD – Human-Computer Interaction & XR in Architecture (100%) https://lnkd.in/eq3w5EXC 📌 Stay up to date with all openings via our job board: https://lnkd.in/dyfQXDj ✨ Join us! #Architecture #Engineering #Research #ETHZurich #Jobs #PhD #Hiring

Urbanism Now May 14

University of Reading is hiring a critical human geographer with experience teaching quantitative and/or mixed methods. £47,389-£54,893 salary. Apply by May 13.

https://www.jobs.ac.uk/job/DRF676/lecturer-in-human-geography-post-1

#urbanism #urbanplanning #HumanGeography #QuantitativeGeography #AcademicJobs

Lecturer in Human Geography Post 1 at University of Reading

Searching for an academic job? Explore this Lecturer in Human Geography Post 1 opening on jobs.ac.uk! Click to view more details and browse other academic jobs.

Jobs.ac.uk

Urbanism Now May 11

KU Leuven is hiring a full-time research professor in landscape and urbanism to lead research on landscape architecture, design and socio-ecological challenges. Starting grant of €110,000 available. Apply by Sept. 1.

https://www.kuleuven.be/personeel/jobsite/jobs/60628113?lang=en

#urbanism #urbanplanning #LandscapeArchitecture #AcademicJobs #KULeuven

Research professor in Landscape and Urbanism (BOFZAP)

Join us in developing an international research programme that addresses contemporary challenges in the field of landscape architecture and urbanism.

eadh May 11

📢 Digital Scholarship in the Humanities (DSH) is looking for two Associate Editors to join its editorial team.

🗓️ Review of applications begins on 1 June 2026
📄 Full call: https://eadh.org/news/2026/05/11/associate-editor-positions-digital-scholarship-humanities

#DH #AcademicJobs #ScholarlyPublishing #DigitalHumanities

Associate Editor positions – Digital Scholarship in the Humanities | EADH - The European Association for Digital Humanities

Associate Editor (2 positions) DSH: Digital Scholarship in the Humanities https://academic.oup.com/dsh