Job - Alert 
Research Associate (PhD Student) (w/m/d)
Deadline: 2025-05-10
Location: Germany, Dresden, Sachsen
#phd
8 posts8 participants0 posts today
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
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 ProofsVacancies
Job - Alert
Doktorand*in in der Psychiatrie und Psychotherapie (m/w/d)
Deadline: 2025-05-04
Location: Germany, Dresden, Sachsen
JOB: The University of Vienna is hiring a fully funded University Assistant (predoc) in Digital Humanities (start: June 1, 2025).
The 4-year PhD position invites projects in historical network analysis or deep learning, under the supervision of Prof. Dr. Tara Andrews.
#DigitalHumanities #PhD #UniversityOfVienna
https://jobs.univie.ac.at/job/University-assistant-predoctoral/1187336001/
jobs.univie.ac.atUniversity assistant predoctoralUniversity assistant predoctoral
Posting another #Introduction - plz boost far and/or wide!
#French-Born, #London-Based CompSci Teacher/Education PhD
#Education #Research #Phd, #BCS #Computing #Teacher #CCT
#CSEd #Programming #BCS
#ActuallyAutistic
#ActuallyADHD
I live with #MultipleSclerosis
#Zen / #Nonduality #Buddhist, weirdly into #Jung
#Research topics:
- #EdAI / #AIEd - #LLMs in #Education
- #CriticalStudies of #EdTech
- #Neurodiversity in #Education, and the experience of ND educators.
Job - Alert 
Deadline: 2025-05-18
Location: Switzerland, Basel
Job - Alert 
Wissenschaftliche*r Mitarbeiter*in bzw. Doktorand*in (m/w/d) - am Institut für Wasserwesen
Deadline: 2025-05-07
Location: Germany, München, Neubiberg, Bayern
Promising 4-year, fully-funded PhD position in Architecture and Data Visualization at TU Delft – explore sensor data, design impacts, and ecology.
Apply by 15 Apr 2025!
careers.tudelft.nlPhD Position in Architecture and Data VisualizationPhD Position in Architecture and Data Visualization
A fully-funded PhD at Bangor working closely with the Wildlife Trusts:
"New PhD project: Restoring the Celtic Rainforest for Net Zero – A Just Land Use Transition?"
Bangor UniversityNew PhD project: Restoring the Celtic Rainforest for Net Zero – A Just Land Use Transition? | Bangor University
PhD Students at the Universität Basel!
Fields of Study:
- #History
- #ArtHistory
- #AncientHistory
- #Egyptology
- #English
- #GermanLiterature
- #LatinStudies
- #MediaStudies
- #Musicology
- #Philosophy
Deadline: April 27, 2025
#MULCIA: 10 funded PhD positions in Automated Reasoning at TU Wien. https://tinyurl.com/25xb5u39 #PhD #CompSci
tinyurl.comFORSYTE.at
#MULCIA: 10 funded PhD positions in Automated Reasoning at TU Wien. https://tinyurl.com/25xb5u39 #PhD #CompSci
tinyurl.comFORSYTE.at
We have several open positions, both #phd & #postdoc: https://nerds.itu.dk/positions/
On the topics #epidemiology #epidemic preparedness and #networkscience & #ai & #ScienceOfScience
Deadlines in April and May!
nerds.itu.dkPositions | NEtwoRks, Data, and Society (NERDS)
Call for PhD and Postdocs: Using data science to improve epidemic preparedness
https://nerds.itu.dk/2025/03/25/call-for-phd-and-postdocs-using-data-science-to-improve-epidemic-preparedness/
We are looking for #phd and #postdoc to join @jonassjuul at ITU #copenhagen improving inference, forecasting, and mitigation in future pandemics. Deadline May 1st.
#Job offers: The IWM invites applications for the position of a 
Post-Doctoral Researcher (m/f/d): 
Full-time, fixed term for three years, starting May 2025 or later, in the Lab led by Dr. Eva Specker.
...& also invites applications for the position of a Researcher / PhD Position (m/f/d): Part-time (75%), fixed term for three years, starting May 2025 or later
in the Lab led by Dr. Eva Specker.
More information: https://www.iwm-tuebingen.de/www/en/karriere/stellenangebote/anzeige.html?kind=wissenschaftlich
#Job alert! 
Are you interested in #oceanography with a background in #physics, #mathematics,& data #visualization? 
We're opening a 3-year position for a doctoral #PhD candidate to work on the #ocean component of our #ICON #climate model. You'll be working w/ our "Complex #Modeling & Extreme #Computing" group under supervision of Nils Brüggemann & be a member of our #IMPRS doctoral program.
#hiring #sciencejobs
jobs.mpimet.mpg.dePhD | Doctoral Candidate (W-0037)
Want do do a PhD in Computer Science in the heart of Europe? We are hiring!
10 FWF-funded positions at TU Wien for doctoral students in our newly founded doctoral college on
Automated Reasoning (https://forsyte.at/docfunds/)
Come to Vienna (repeatedly ranked the world's most livable city) to work with an amazing team on on exciting topics at the intersection of security and artificial intelligence with Automated Reasoning at the core!
Deadline: May 18, 2025
Start: October 2025 (or soon after)
Details: https://forsyte.at/docfunds/
forsyte.atFORSYTE.at
#MULCIA: PhD studentship at Imperial on automated testing and verification of machine learning compilers and runtimes. https://tinyurl.com/2dqr3q5r #PhD #CompSci
#MULCIA: PhD student position in knowledge representation and reasoning at TU Graz. https://tinyurl.com/22f4ed5a #PhD #CompSci
tinyurl.comTU Graz
Job - Alert 
PHD & POSTDOC POSITIONS IN MECHANISMS OF TUMOR DORMANCY 100%
Deadline: Applications will be reviewed as they arrive.
Location: Switzerland, Basel
