<div dir="ltr"><div><span style="color:rgb(36,36,36);font-size:14.6667px">Sent on behalf of Johannes Carmesin.</span></div><span style="color:rgb(36,36,36);font-size:14.6667px"><div><span style="color:rgb(36,36,36);font-size:14.6667px">-------</span></div>Dear Researcher,</span><br style="color:rgb(36,36,36);font-size:14.6667px"><br style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">The Discrete Structures Group of Prof Johannes Carmesin is inviting</span><br style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">applications for a postdoc position that takes a leading role in the</span><br style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">ProofBench project, which develops a benchmark suite for evaluating AI</span><br style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">theorem provers.</span><br style="color:rgb(36,36,36);font-size:14.6667px"><br style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">To apply send a CV by email to "<a href="mailto:johannes.carmesin@gmail.com">johannes.carmesin@gmail.com</a>" and</span><br style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">additionally please follow the instructions at</span><br style="color:rgb(36,36,36);font-size:14.6667px"><a rel="noopener noreferrer" target="_blank" href="https://urldefense.com/v3/__https://tu-freiberg.de/media/18526/download__;!!IBzWLUs!VI0IzZmFyfxXcloObbI8X6Upzlym8vwFuIUan6Q5Ml3sUDuAekynsRkjzGkaQfRY31inpCC00DwEZiKa1i-MKtItqlsBgjkZprT1Vw$" title="https://tu-freiberg.de/media/18526/download" style="border:0px;font-variant-numeric:inherit;font-variant-east-asian:inherit;font-variant-alternates:inherit;font-stretch:inherit;font-size:14.6667px;line-height:inherit;font-size-adjust:inherit;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">https://tu-freiberg.de/media/18526/download</a><br style="color:rgb(36,36,36);font-size:14.6667px"><br style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">Duration: 3 years</span><br style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">Where: TU Freiberg, Germany</span><br style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">Application deadline: December 1st 2024 (extended)</span><br style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">Starting date: as soon as possible</span><br style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">Further information: </span><a rel="noopener noreferrer" target="_blank" href="https://urldefense.com/v3/__https://j-carmesin.github.io/__;!!IBzWLUs!VI0IzZmFyfxXcloObbI8X6Upzlym8vwFuIUan6Q5Ml3sUDuAekynsRkjzGkaQfRY31inpCC00DwEZiKa1i-MKtItqlsBgjmif7TNMw$" title="https://j-carmesin.github.io/" style="border:0px;font-variant-numeric:inherit;font-variant-east-asian:inherit;font-variant-alternates:inherit;font-stretch:inherit;font-size:14.6667px;line-height:inherit;font-size-adjust:inherit;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">https://j-carmesin.github.io/</a><br style="color:rgb(36,36,36);font-size:14.6667px"></div>