A postdoctoral position is available in the area of proof automation and theoretical computer science at the Max Planck Institute for Software Systems (MPI-SWS), in collaboration with TU Wien. The research focus includes computational logic, functional programming, and interactive theorem proving. The position is announced by Professor José A. Alonso, a mathematician with interests in these fields. This opportunity is ideal for candidates with a strong background in computer science or mathematics, particularly those with experience in proof automation and related areas. The collaboration with TU Wien offers a unique chance to work in an international research environment. While specific funding details are not provided, postdoctoral positions at MPI-SWS are typically fully funded. Applicants should hold a PhD in a relevant field and demonstrate a strong research record. For more information, candidates are encouraged to contact Professor Alonso or refer to the provided X.com post. The application deadline is not specified, so early inquiries are recommended.