#MULCIA: PhD position in knowledge representation and reasoning, University of Luxembourg. https://tinyurl.com/23a6k25e #PhD #CompSci
tinyurl.comJob Portal - University of Luxembourg
Recent searches
Search options
#phd
17 posts16 participants1 post today
#FightForSight Funded #PhD project to work on #zebrafish model of infantile nystagmus! at
@NeurogeneticsLeicester
please boost and spread the words! and contact Dr Mervyn Thomas mt350@le.ac.uk directly for this exciting opportunity!
#neuroscience
#NSF slashes prestigious #PhD #fellowship awards by half
#US National #Science Foundation announces lowest number of Graduate Research Fellowship Programme (#GRFP) recipients in 15 years. https://www.nature.com/articles/d41586-025-01098-9
Who needs another generation of #scientists? </s>
www.nature.comNSF slashes prestigious PhD fellowship awards by halfUS National Science Foundation announces lowest number of Graduate Research Fellowship Programme recipients in 15 years.
The School of Public Administration at the University of Gothenburg has opened this round of PhD applications! Come and be my colleague in beautiful Gothenburg!
Deadline: 2025-06-09
web103.reachmee.comDoctoral students in public administrationDoctoral positions in public administration
The School of Public Administration is a department within the
*Last Call*
I have a #PhD position for UK students, available with myself and @bentnib
This project will be looking at developing new methods for asserting the resilience of existing communicating systems by developing new static analysis methods derived from advanced programming language research.
*Hard Deadline*: Wednesday 16th April 2025
You will belong to @StrathCyber and @mspstrath, as well as gaining access to @spli
(Ignore the deadline on the advert)
Please spread the words.
www.strath.ac.ukTowards Type-Driven Assurance of Communicating Systems | University of Strathclyde
Inspired by @Iris 's recent poll, I suppose... I’m writing up my #psych #phd thesis, and am currently looking at the methods chapter. I’m describing all the samples, procedures, measures, statistical tools and procedures I’ve used in my articles, and ethical considerations. However, although I haven’t seen this in other theses, and although nobody has told me I need to do it, I feel like including a section on «the use of #AI technologies» (read: chatGPT and other LLMs). The thing is, I’m getting the sense that this has become extremely prevalent in a very short amount of time. If nothing else, than to use it «as a brainstorming partner», or help to paraphrase sentences for clarity or fix punctuation. And the reason I want to make a statement out of this in my thesis is that I haven’t. Not one bit, in the least sense. I never wanted to, and I’m very happy I haven’t. Is this worth making a statement of in the methods chapter? How would you go about writing it? What info would you include? Do you know good examples of this kinds of disclaimers/statements, in academic writing? #AIhype
“Perhaps my farm experience helped me to be good at math (...) as my classmates and I moved through high school, my female math ability seemed to make people turn away from me. (...) My teacher (...) was a (...) supportive example of ‘girls can do math’.” - JoAnne Growney
I'm hiring a PhD student in Copenhagen, Denmark to do #HCI research on #privacy and #interoperability in messaging apps!
This is a fully funded 3-year position in the Copenhagen campus of Aalborg University. The student will join my project "mInt" (for "messaging interoperability" ;)) and will be co-supervised by me and @nielsvanberkel .
More info and application form here: https://www.stillinger.aau.dk/phd-stillinger/vis-stilling/vacancyId/1219575. Deadline is May 18.
Aalborg UniversitetPhD Stipend in Human-Computer Interaction Principles for Messaging InteroperabilityThe PhD position is supported by the project mInt: Human-centered design principles for effective management of social boundaries in interoperable t...
Looking back at old #PhD files and I found this "thesis from above" visualization I did of my dissertation, and I really like how the overall structure appears without being able to read anything.
The preamble stuff and the references obviously stand out, but then we have the transition from "lots of words and comparative tables" in the state-of-the-artsy bits, to "lots of images, equations, plots and tables" in the more methods and results-oriented parts, and then back to big blocks of text in the discussions.
I think it's neat.
Quand tu oublies de désactiver les alertes mises en place en exemple lors de la dernière formation #veille de mars avec les #doctorants de #lyon ...
#monitoring #tools #research #infolit #formations #PhD #isidoct
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
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 ProofsVacancies
My #PhD #dissertation as it was published by #Presidency #BasqueGovernment now in @ssrn repository in #OpenAccess #OpenScience #Science4Policy
https://papers.ssrn.com/sol3/papers.cfm?abstract_id=5120339#
We have more than a hundred open PhD positions at imec.
Deadline is in ten days, which is more than time enough to apply.
Join us.
https://www.imec-int.com/en/work-at-imec/job-opportunities/phd-at-imec
Wonderful PhD studentship here.
Cardiff University AHRC Collaborative Doctoral Partnership (CDP) studentship with Amgueddfa Cymru – Museum Wales
The Reg and George archive: co-creating stories about love, care and LGBTQ+ relationships in later life.
#phdPosition #PhD #lgbtq #Wales #CardiffUniversity #AmgueddfaCymru
https://www.findaphd.com/phds/programme/phd-journalism-media-and-culture/?p4736
Posterpreis beim LIGO Virgo KAGRA Collaboration Meeting
Glückwunsch an unseren Kollegen Lorenzo Pompili! Lorenzo ist Doktorand in der Abteilung „Astrophysikalische und Kosmologische Relativitätstheorie“ am @mpi_grav in Potsdam. Letzte Woche hat er den Preis für das beste Poster in der Kategorie „Theorie“ auf dem @LIGO Virgo KAGRA-Kollaborationsmeeting im März 2025 in Melbourne, Australien, gewonnen.
Sein Poster präsentierte neue Tests von Einsteins allgemeiner Relativitätstheorie mit Gravitationswellen von der Endphase einer Verschmelzung zweier schwarzer Löcher. Während dieses „Ringdowns“ nimmt das Schwarze Loch seine endgültige Konfiguration nach der Verschmelzung ein und strahlt Gravitationswellen mit bestimmten Frequenzen ab.
Wenn Einsteins Theorie stimmt, hängen diese Frequenzen nur von der Masse und dem Drehimpuls (Spin) des Schwarzen Lochs ab. Misst man die Frequenzen, ist es möglich, Abweichungen von Einsteins Theorie zu testen.
Poster Prize at the LIGO Virgo KAGRA Collaboration Meeting
Congratulations to our colleague Lorenzo Pompili! Lorenzo is a PhD student in the “Astrophysical and Cosmological Relativity” department at @mpi_grav in Potsdam. Last week he won the prize for the best poster in the “Theory” category at the March 2025 meeting of the @LIGO Virgo KAGRA collaboration in Melbourne, Australia.
His poster presented new tests of Einstein's general theory of relativity using gravitational waves from the final stage of a binary black hole merger. During this “ringdown”, the black hole settles into its final post-merger configuration and emits gravitational waves at specific frequencies.
If Einstein's theory is correct, these frequencies depend only on the black hole's mass and spin. By measuring the frequencies, it is possible to test for deviations from Einstein's theory.
