Open Positions

The VCLA and its associated groups publish their open positions here. Please click on the respective links for more information on the individual positions.

Doctoral Program Logical Methods in Computer Science: funded doctoral positions

Formal Methods in Systems Engineering Group: Ten funded PhD and PostDoc positions

National Research Network Rigorous Systems Engineering – PhD and Postdoc Positions