Peter Gjøl Jensen (@petergjoel) 's Twitter Profile
Peter Gjøl Jensen

@petergjoel

Universal toolmaker at @aautech, preaching the gospel of Formal Methods.

ID: 2695520167

calendar_today31-07-2014 11:31:58

231 Tweet

159 Takipçi

521 Takip Edilen

Jens Myrup Pedersen (@jens_myrup) 's Twitter Profile Photo

De Europæiske Cybermesterskaber forløb over 2 dage, hver dag en ny slags konkurrence (Jeopardy+AD). Danmark vandt begge! Det er så flot af Cyberlandsholdet. Vi lander i Kbh kl 16.50 idag, og tager til AAU CPH i Sydhavnen, hvor ALLE er velkomne til at tage imod ca. 17.30. #dkmedier

De Europæiske Cybermesterskaber forløb over 2 dage, hver dag en ny slags konkurrence (Jeopardy+AD). Danmark vandt begge! Det er så flot af <a href="/Cyberlandshold/">Cyberlandsholdet</a>. Vi lander i Kbh kl 16.50 idag, og tager til AAU CPH i Sydhavnen, hvor ALLE er velkomne til at tage imod ca. 17.30. #dkmedier
Department of Computer Science, Aalborg University (@compsciaau) 's Twitter Profile Photo

Digital Tech Summit 2022 is coming up! Researchers from Department of Computer Science, Aalborg University will be giving talks on some of the most pressing societal issues. Check out details on the individual sessions: cs.aau.dk/news-and-event… #digitaltechsummit2022

Anne Marie Kanstrup (@aauprorektor) 's Twitter Profile Photo

Medicinstuderende Marie Strøyberg stiller meget relevant spørgsmål i Nordjyske: Er hendes forskningsbaseret uddannelse mindre værd fordi hun studerer i Aalborg og ikke hovedstaden? Den skæve fordeling af basisforskningsmidler skader studerende, forskning og Nordjylland #uddpol

Medicinstuderende Marie Strøyberg stiller meget relevant spørgsmål i <a href="/nordjyskedk/">Nordjyske</a>: Er hendes forskningsbaseret uddannelse mindre værd fordi hun studerer i Aalborg og ikke hovedstaden? Den skæve fordeling af basisforskningsmidler skader studerende, forskning og Nordjylland #uddpol
Stefan Schmid (@schmiste_ch) 's Twitter Profile Photo

Finally! After 2 years of rescheduling, the Bertinoro Network Verification and Automation seminar NetVAS takes place! Thanks to @wwtf, and thanks everyone for the great talks, all slides soon at netvas22.bici.events/program! With Kim G Larsen

Finally! After 2 years of rescheduling, the Bertinoro Network Verification and Automation seminar NetVAS takes place! Thanks to @wwtf, and thanks everyone for the great talks, all slides soon at netvas22.bici.events/program! With <a href="/kglaau/">Kim G Larsen</a>
Department of Computer Science, Aalborg University (@compsciaau) 's Twitter Profile Photo

Department of Computer Science, Aalborg University has come out in full force at this year's NetVAS Network Verification and Automation Seminar (18-19 October) with talks by Kim G Larsen, Jiri Srba, Martin Zimmermann and Peter Gjøl Jensen. Check out abstracts: lnkd.in/e_9QCDjx #network #verification #automation

<a href="/CompSciAAU/">Department of Computer Science, Aalborg University</a> has come out in full force at this year's NetVAS Network Verification and Automation Seminar (18-19 October) with talks by <a href="/kglaau/">Kim G Larsen</a>, Jiri Srba, Martin Zimmermann and <a href="/petergjoel/">Peter Gjøl Jensen</a>.
Check out abstracts: lnkd.in/e_9QCDjx
#network #verification #automation
Department of Computer Science, Aalborg University (@compsciaau) 's Twitter Profile Photo

Preliminary research shows that novel intelligent heat pump control system from @DEIS_aau_dk can save up to 30 % of the energy cost while maintaining comfort of the residents. Interview with Peter Gjøl Jensen whom you can also meet Digital Tech Summit 2022 bit.ly/3DD7u6l #energy #heating

Thomas Dyhre Nielsen (@tdyhren) 's Twitter Profile Photo

We are looking for a postdoc in probabilistic machine learning. If you want to be part of a great team working on basic machine learning methods with applications in bioinformatics, don't hesitate to reach out. homes.cs.aau.dk/~tdn/position.…

Department of Computer Science, Aalborg University (@compsciaau) 's Twitter Profile Photo

We are looking to appoint a number of Assistant Professors (with possibility of TT) for our Copenhagen Campus. This branch will over time build its own research profile and capacity, growing to around 20 scientific staff by 2025. Info 👉 stillinger.aau.dk/vis-stilling/?… #AcademicTwitter

We are looking to appoint a number of Assistant Professors (with possibility of TT) for our Copenhagen Campus. This branch will over time build its own research profile and capacity, growing to around 20 scientific staff by 2025. Info 👉
stillinger.aau.dk/vis-stilling/?… #AcademicTwitter
Peter Gjøl Jensen (@petergjoel) 's Twitter Profile Photo

So 2023 will be the year where I (finally) turn my research on heat pump control into application - and I even got a grant to support me 💪 Thanks @Innofond ! linkedin.com/posts/aau-tech…

Julie Lindmann (@julielindmann) 's Twitter Profile Photo

Som Aske Nydam Guldberg og Mads Eriksen Storm så rigtigt påpeger her er internationale studerende en ualmindelig god forretning✨ De beriger både vores samfundøkonomi og vores studiemiljøer. Så lad os nu gøre noget ved det og fjerne loftet over internationale studerende

Katja Hose (@hosekatja) 's Twitter Profile Photo

We are looking for PhD students in #DataEngineering, #KnowledgeEngineering, #GraphDataManagement, and #MachineLearning. Deadline February 10, 2023! Please reach out if you have any questions! stillinger.aau.dk/vis-stilling/?… #PhDposition #DataIntegration #KnowledgeGraphs

Department of Computer Science, Aalborg University (@compsciaau) 's Twitter Profile Photo

Fint, at digitaliseringsminister Marie Bjerre sletter #TikTok, men sletter hun også Instagram og Facebook, der høster mindst lige så mange personlige data? spørger sikkerhedsekspert René Rydhof Hansen, fra @DEIS_aau_dk Department of Computer Science, Aalborg University, i denne podcast. bit.ly/3YsXHqD

Department of Computer Science, Aalborg University (@compsciaau) 's Twitter Profile Photo

Attention👋! We are looking to further expand our academic capacity with a number of Associate and Assistant Professors (+TT) in #computerscience More information👉cs.aau.dk/Vacancies/ #hiring #jobsearch #recruiting #applynow #sciencejobs

Attention👋! We are looking to further expand our academic capacity with a number of Associate and Assistant Professors (+TT) in #computerscience 

More information👉cs.aau.dk/Vacancies/
#hiring #jobsearch #recruiting #applynow #sciencejobs
Department of Computer Science, Aalborg University (@compsciaau) 's Twitter Profile Photo

🎓Attention aspiring PhD students. @DEIS_aau_dk has a number of PhD positions available in formal methods, #modelchecking, and #machinelearning for cyber-physical systems. Join us and work on cutting-edge projects funded by VILLUM INVESTIGATOR (S4OS) lnkd.in/eUJ3z_mY

🎓Attention aspiring PhD students. @DEIS_aau_dk
has a number of PhD positions available in formal methods, #modelchecking, and #machinelearning for cyber-physical systems. Join us  and work on cutting-edge projects funded by VILLUM INVESTIGATOR  (S4OS)  lnkd.in/eUJ3z_mY
Department of Computer Science, Aalborg University (@compsciaau) 's Twitter Profile Photo

🌟Imponerende! Softwarestuderende fra Aalborg Universitet dyster i international konkurrence på UC San Diego, hvor de skal bygge energieffektive #supercomputere! 💪💻 Det er virkelig #Videnforverden #sustainablecomputing linkedin.com/posts/departme…

🌟Imponerende! Softwarestuderende fra <a href="/aalborg_uni/">Aalborg Universitet</a> dyster i international konkurrence på <a href="/UCSanDiego/">UC San Diego</a>, hvor de skal bygge energieffektive #supercomputere! 💪💻 Det er virkelig #Videnforverden #sustainablecomputing
linkedin.com/posts/departme…
Rune Birk Nielsen (@runebirknielsen) 's Twitter Profile Photo

Super spændende forskningsprojekt af Peter Gjøl Jensen Der er store mængder af den nødvendige og efterspurgte fleksibilitet i vores eksisterende energisystem. #dkgreen pro.ing.dk/gridtech/holdn…