Events and news relevant to the Laboratory for Foundations of Computer Science

[Ohad Kammar <ohad.kammar@ed.ac.uk>]

FYI below, if you have students interested in a PhD on testing Bayesian probabilistic models in PyMC/Pyro in ITU Copenhagen.

---

From: Raúl Pardo <raup@itu.dk>
Sent: 29 October 2025 07:48
To: Ohad Kammar <ohad.kammar@ed.ac.uk>

Cc: Andrzej Wasowski <wasowski@itu.dk>; Mahsa Varshosaz <mahv@itu.dk>

Subject: PhD positions on testing statistical software

 

[You don't often get email from raup@itu.dk. Learn why this is important at https://aka.ms/LearnAboutSenderIdentification ]

Dear Ohad,

I wanted to share with you a call for two PhD positions on software engineering and testing for statistical software. More concretely, the project targets testing methods for Bayesian probabilistic models implemented in popular probabilistic programming libraries such as PyMC or Pyro. The testing methods will build on top of formal semantics of probabilistic programs.

It would be great if you could share the call with students that might be interested on doing a PhD on this topic. The application deadline is Nov 25.

https://candidate.hr-manager.net/ApplicationInit.aspx?cid=119&ProjectId=181826&DepartmentId=3439&MediaId=5

Best,
-- raul

The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336.