Adrodoc you can also write the EXISTS query with JPQL:

select p
from Parent p
where exists (
select c from Child c on c.post = p )