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).<br><br>The topics range from Modal logic, proof theory, and coalgebras to Programming languages, concurrency, and type systems and Proof assistants (#Agda, <a class="hashtag" href="https://agda.club/tag/rocq" rel="nofollow noopener noreferrer" target="_blank">#Rocq</a>).<br><br>Information about the positions and application procedure can be found on the website:<br><br><a href="https://cyclic-structures.gitlab.io/vacancies/" rel="nofollow noopener noreferrer" target="_blank">cyclic-structures.gitlab.io/vacancies/</a><br><br>Applications will be evaluated on a rolling basis but should be submitted by the 23rd of May for full consideration.<br><br>Please forward to any strong candidates you know!<br><br><a class="hashtag" href="https://agda.club/tag/typetheory" rel="nofollow noopener noreferrer" target="_blank">#TypeTheory</a> <a class="hashtag" href="https://agda.club/tag/modallogic" rel="nofollow noopener noreferrer" target="_blank">#ModalLogic</a> <a class="hashtag" href="https://agda.club/tag/concurrency" rel="nofollow noopener noreferrer" target="_blank">#Concurrency</a> <a class="hashtag" href="https://agda.club/tag/programminglanguages" rel="nofollow noopener noreferrer" target="_blank">#ProgrammingLanguages</a> <a class="hashtag" href="https://agda.club/tag/typesystems" rel="nofollow noopener noreferrer" target="_blank">#TypeSystems</a> <a class="hashtag" href="https://agda.club/tag/proofassistants" rel="nofollow noopener noreferrer" target="_blank">#ProofAssistants</a> <a class="hashtag" href="https://agda.club/tag/cyclicstructures" rel="nofollow noopener noreferrer" target="_blank">#CyclicStructures</a> <a class="hashtag" href="https://agda.club/tag/phd" rel="nofollow noopener noreferrer" target="_blank">#PhD</a> <a class="hashtag" href="https://agda.club/tag/netherlands" rel="nofollow noopener noreferrer" target="_blank">#Netherlands</a> <a class="hashtag" href="https://agda.club/tag/universityofgroningen" rel="nofollow noopener noreferrer" target="_blank">#UniversityOfGroningen</a> <a class="hashtag" href="https://agda.club/tag/leidenuniversity" rel="nofollow noopener noreferrer" target="_blank">#LeidenUniversity</a> <a class="hashtag" href="https://agda.club/tag/universityoftwente" rel="nofollow noopener noreferrer" target="_blank">#UniversityOfTwente</a> <a class="hashtag" href="https://agda.club/tag/tudelft" rel="nofollow noopener noreferrer" target="_blank">#TUDelft</a> <a class="hashtag" href="https://agda.club/tag/radbouduniversity" rel="nofollow noopener noreferrer" target="_blank">#RadboudUniversity</a>
Recent searches
No recent searches
Search options
Only available when logged in.
zirk.us is one of the many independent Mastodon servers you can use to participate in the fediverse.
Literature, philosophy, film, music, culture, politics, history, architecture: join the circus of the arts and humanities! For readers, writers, academics or anyone wanting to follow the conversation.
Administered by:
Server stats:
735active users
zirk.us: About · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.3.7
#UniversityOfGroningen
0 posts · 0 participants · 0 posts today
OpenScienceCommunityGroningen<p>🚀 Event Recap Video is Here! 🎥</p><p>We had an incredible time at the last event: Celebrating Openness Event of the OSCG: Impact of Open Science! Watch the recap video to relive the highlights. 🌟<br>We are also eager to hear your thoughts—check out the video and drop your answer to the question we asked! 👇</p><p><a href="https://mastodon.social/tags/EventRecap" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>EventRecap</span></a> <a href="https://mastodon.social/tags/OSCG" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OSCG</span></a> <a href="https://mastodon.social/tags/OpenScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OpenScience</span></a> <a href="https://mastodon.social/tags/OpenData" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OpenData</span></a> <a href="https://mastodon.social/tags/Recap" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Recap</span></a> <a href="https://mastodon.social/tags/UniversityofGroningen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>UniversityofGroningen</span></a></p>
M.G.T. Verheij<p><span class="h-card" translate="no"><a href="https://social.edu.nl/@wlaatje" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>wlaatje</span></a></span> and <a href="https://social.edu.nl/tags/UniversityOfGroningen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>UniversityOfGroningen</span></a></p>
OpenScienceCommunityGroningen<p>Second <a href="https://mastodon.social/tags/openscience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>openscience</span></a> research award winner of today is: Marianthi Tangili and Team, with their case study: “Identification of age-related CpG sites from longitudinal avian methylomes”. <a href="https://mastodon.social/tags/UniversityOfGroningen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>UniversityOfGroningen</span></a> <a href="https://mastodon.social/tags/openresearchaward" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>openresearchaward</span></a></p>
UnivGroJobs (By: Jako Jellema)<p><a href="https://mastodon.education/tags/PhDposition" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PhDposition</span></a> Restoring <a href="https://mastodon.education/tags/biodiversity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>biodiversity</span></a> in Dutch <a href="https://mastodon.education/tags/agricultural" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>agricultural</span></a> <a href="https://mastodon.education/tags/grasslands" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>grasslands</span></a> (1.0 FTE)</p><p>Department: Faculty of <a href="https://mastodon.education/tags/Science" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Science</span></a> and <a href="https://mastodon.education/tags/Engineering" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Engineering</span></a></p><p><a href="https://mastodon.education/tags/UniversityOfGroningen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>UniversityOfGroningen</span></a> <a href="https://mastodon.education/tags/Groningen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Groningen</span></a> <a href="https://mastodon.education/tags/Biology" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Biology</span></a> <a href="https://mastodon.education/tags/Biologie" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Biologie</span></a> <a href="https://mastodon.education/tags/duurzamelandbouw" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>duurzamelandbouw</span></a> <a href="https://mastodon.education/tags/rijksuniversiteitgroningen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rijksuniversiteitgroningen</span></a> </p><p>Apply before: February 14 (💕!)</p><p><a href="https://www.rug.nl/about-ug/work-with-us/job-opportunities/?details=00347-02S000B3VP&cat=phd" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">rug.nl/about-ug/work-with-us/j</span><span class="invisible">ob-opportunities/?details=00347-02S000B3VP&cat=phd</span></a> <a href="https://mastodon.education/tags/FediHire" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FediHire</span></a> <a href="https://mastodon.education/tags/AcademicJobs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AcademicJobs</span></a></p>
UnivGroJobs (By: Jako Jellema)<p>2 full-time <a href="https://mastodon.education/tags/PhDpositions" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PhDpositions</span></a> will be part of the Managing Sustainability Tradeoffs project. The group at the <a href="https://mastodon.education/tags/UniversityOfGroningen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>UniversityOfGroningen</span></a> has teamed up with a European consortium to strengthen the way in which sustainability can be brought to products and services in a technically viable way. The aim of the project is to deal with the complex trade-offs between two aspects of <a href="https://mastodon.education/tags/sustainability" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sustainability</span></a>: technical sustainability and environmental sustainability (esp. <a href="https://mastodon.education/tags/carbonfootprint" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>carbonfootprint</span></a>).</p><p><a href="https://www.academictransfer.com/en/348267/phd-positions-in-software-engineering-20-fte/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">academictransfer.com/en/348267</span><span class="invisible">/phd-positions-in-software-engineering-20-fte/</span></a></p>
UnivGroJobs (By: Jako Jellema)<p><a href="https://mastodon.education/tags/Postdoc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Postdoc</span></a> in <a href="https://mastodon.education/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MachineLearning</span></a> for Oligopeptide Design (1.0 FTE)</p><p><a href="https://www.rug.nl/about-ug/work-with-us/job-opportunities/?details=00347-02S000B23P" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">rug.nl/about-ug/work-with-us/j</span><span class="invisible">ob-opportunities/?details=00347-02S000B23P</span></a></p><p>Department: Faculty of <a href="https://mastodon.education/tags/Science" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Science</span></a> and <a href="https://mastodon.education/tags/Engineering" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Engineering</span></a> <br><a href="https://mastodon.education/tags/UniversityOfGroningen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>UniversityOfGroningen</span></a> <a href="https://mastodon.education/tags/Groningen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Groningen</span></a> <a href="https://mastodon.education/tags/FediHire" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FediHire</span></a> </p><p>For more info you can contact: <br>R. (Robert) Pollice, Dr</p><p>Assistant Professor for Computer-Aided <a href="https://mastodon.education/tags/OrganicSynthesis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OrganicSynthesis</span></a><br><a href="https://www.rug.nl/staff/r.pollice/?lang=en" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">rug.nl/staff/r.pollice/?lang=e</span><span class="invisible">n</span></a></p><p>Apply before: February 28, 2025</p>
UnivGroJobs (By: Jako Jellema)<p>A few of the open positions in <a href="https://mastodon.education/tags/Groningen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Groningen</span></a>:</p><p><a href="https://mastodon.education/tags/Google" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Google</span></a> <a href="https://mastodon.education/tags/Workspace" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Workspace</span></a> <a href="https://mastodon.education/tags/Engineer" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Engineer</span></a> (1,0 fte)<br>Department: Centrum voor Informatie Technologie<br>( <span class="h-card" translate="no"><a href="https://social.edu.nl/@CIT_RUG" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>CIT_RUG</span></a></span> )</p><p>PhD in Systems and Control<br>Department:Faculty of <a href="https://mastodon.education/tags/ScienceAndEngineering" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ScienceAndEngineering</span></a></p><p>PhD Self-assembling <a href="https://mastodon.education/tags/polyolefin" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>polyolefin</span></a> network materials from <a href="https://mastodon.education/tags/polymer" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>polymer</span></a> <a href="https://mastodon.education/tags/waste" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>waste</span></a> (1.0 FTE)<br>Department: Faculty of <a href="https://mastodon.education/tags/Science" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Science</span></a> and <a href="https://mastodon.education/tags/Engineering" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Engineering</span></a><br><a href="https://mastodon.education/tags/PHDposition" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PHDposition</span></a> <a href="https://mastodon.education/tags/WasteManagement" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>WasteManagement</span></a></p><p><a href="https://mastodon.education/tags/IT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IT</span></a>-auditor (0,8-1,0 fte)<br><a href="https://mastodon.education/tags/ITauditor" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITauditor</span></a><br>Department:University Services</p><p><a href="https://www.rug.nl/about-ug/work-with-us/job-opportunities/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">rug.nl/about-ug/work-with-us/j</span><span class="invisible">ob-opportunities/</span></a> <a href="https://mastodon.education/tags/UniversityOfGroningen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>UniversityOfGroningen</span></a></p>
ExploreLive feeds
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
Create accountLoginDrag & drop to upload