<div dir="ltr"><div class="gmail_quote"><div dir="ltr">Dear all,<br><br>I would like to ask for your help spreading this PhD position advertisement to potential candidates. <div><br></div><div>At Chalmers University of Technology, we have <b>five fully funded general positions in Computer Science and Engineering</b> this year.<br>The applicant can choose from a wide range of research topics and accompanying supervisors. The following page shows the details about the positions:<br><br><a href="https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=12588&rmlang=UK" target="_blank">https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=12588&rmlang=UK</a> <br><br>One of the projects is titled: ‘<b>Using program synthesis to generate feedback for functional programming exercises</b>’ and is supervised by Alex Gerdes (and me as the co-supervisor). You can find more information about the project in the attached description.</div><div><br></div><div>If you know students that are interested in functional programming, compiler construction, program synthesis, property-based testing and computer science in education, then please encourage them to apply! Chalmers is a fantastic place to work as a PhD student.<br><br>Your help is greatly appreciated!<br><br>/Koen Claessen</div><div><br></div></div>
</div></div>