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 ([email protected]) 
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:

[email protected]

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
*
*                   [email protected]
*
*   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/
*
**********************************************************