[DMANET] Postdoc or Phd in property testing and logic in DFG funded project LogAlgo at Bamberg University, DE

The Chair of Algorithms and Complexity Theory at Otto-Friedrich-Universität of Bamberg, Germany, aims to fill, starting on the next possible date, one position as Research Assistant (postdoc or PhD) (m/f/d) in DFG Project LogAlgo (100% of regular working hours; pay grade 13 TV-L) The contract is limited to 3 years. The candidate should have a background in at least two of the following areas: - property testing and sublinear algorithms; - logic, preferably algorithmic model theory or database theory; - graph algorithms and complexity, in particular fixed-parameter algorithms. Application deadline: 18th June 2026 The position is funded by the DFG within the project LogAlgo. The aim of the project is to develop highly efficient algorithms for logic-defined classes of problems on graphs, networks, and databases. The algorithms operate with local access to the input only but nevertheless come guarantees on the quality of the solution and resource consumption. Lower bounds will also be investigated. See [1] for further details. Since the project requires in-depth knowledge of several different areas, we expect to be filling it by a postdoc. However, strong PhD candidates are also encouraged to apply Job description: Contribution to the research project LogAlgo • Publication and exchange with the scientific community • Involvement in teaching is encouraged (max. 2 SWS) Requirements: • Academic degree (Master's or equivalent) in computer science or mathematics • PhD in computer science or mathematics (if applying for a postdoc) You are welcome to contact Isolde Adler (isolde.adler@uni-bamberg.de) with any questions. Applications: Please email your application (including a short letter of motivation, CV and list of publications (if any), certificates/reports, contact details of two references) combined into one PDF to: applications.algoc@uni-bamberg.de Application deadline: 18th June 2026 Please see [2] for further details. -- [1] https://www.uni-bamberg.de/algok/research/logalgo/ [2] www.uni-bamberg.de/fileadmin/abt-personal/Homepage_ab_2016-03/10_Stellenausschreibungen/02_Wissenschaftliche_Beschaeftigte/2026_06_18_WiAi_LS_LogAlgo_ENG.pdf -- Prof. Dr. Isolde Adler Chair of Algorithms & Complexity Theory Faculty of Information Systems and Applied Computer Sciences University of Bamberg ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************