#tudelft — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #tudelft, aggregated by home.social.
-
Hi everyone,
I feel like a re-introduction is long overdue!
My name is Anna, and I'm an assistant professor of Algorithmics at the Delft University of Technology, specialising in combinatorial optimisation, symbolic AI, constraint programming, propositional model counting, operations research and reasoning under uncertainty.
I'm a nerd, a feminist and a traveller, not always in that order.
In my spare time I like to hike and go geocaching. I try to go swing dancing a few times a week. I am a Trekkie. I want to learn how to draw. I am an Indomie and Obsidian enthusiast. Based in the Netherlands, I miss Belgium, Canada and Singapore.
Since a job in academia somehow always is personal, I have chosen to mix professional interactions with the more personal ones on this platform. At least for now. Obviously, my opinions do not necessarily reflect those of my employer yadiyadiyada.
Hope to keep interacting with you all!
#Introduction #AcademicMastodon #Algorithmics #SymbolicAI #CombinatorialOptimisation #ConstraintProgramming #ModelCounting #OperationsResearch #ProbabilisticInference #Geocaching #LindyHop #Jazz #SwingDancing #Hiking #Obsidian #StarTrek #Travel #TUDelft #MastoMiGoreng #Indomie #GNUTerryPratchett #Catstodon #Mastocats #Caturday #ExpatLife #MakanApaToda
-
About US research data under threat and how everyone can contribute to saving it - @lavaeolus and me were interviewed in the TU Delft paper Delta: https://delta.tudelft.nl/en/article/saving-academic-data-is-easier-than-you-think-and-you-can-do-it-too mostly regarding our parts in the Safeguarding Research and Culture initiative at https://safeguar.de
#TUDelft #SafeguardingResearch #SciOp -
BasicFit gaf € 100.000,-- aan verkiezingscampagne #VVD.
https://www.rtl.nl/economie/artikel/5397494/basic-fit-moos-donaties-vvd-fvb-chipshol-cda-kaemingk
Kabinet maakt einde aan goedkoop sporten voor studenten en personeel.
Toeval?
Het zal wel.#VVD #BasicFit #politiek #verkiezingen #corruptie #TUDelft #universiteiten
-
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 -
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.
-
New #openaccess publication #SciPost #Physics
Flux-tunable hybridization in a double quantum dot interferometer
Christian G. Prosko, Ivan Kulesh, Michael Chan, Lin Han, Di Xiao, Candice Thomas, Michael J. Manfra, Srijit Goswami, Filip K. Malinowski
SciPost Phys. 17, 074 (2024)
https://scipost.org/SciPostPhys.17.3.074