To expand my short comment, I think it's possible to say something at least qualitative about the existence question you've raised. This goes back to Brauer's early work, some done with his student Nesbitt. For a modern treatment, see for example Serre's textbook or the first volume of Curtis and Reiner's Methods of Representation Theory. Here the fields involved are big enough to be splitting fields. (But your further question is far more difficult to answer in general.)
A basic fact, for given $G$ and $p$, is that the decomposition matrix $D$ records the multiplicity of each modular irreducible as a composition factor of (any) reduction mod $p$ of an ordinary character. One convention is that the rows of $D$ are indexed by the ordinary characters and the columns indexed by the modular (or Brauer) characters. As Brauer showed, the number of rows $r$ is the number of conjugacy classes of $G$, while the number of columns $s$ is the number of conjugacy classes containing elements of order relatively prime to $p$.
Then a fundamental reciprocity discovered by Brauer-Nesbitt is given by the matrix equation $C = D' D$; here $C$ is the $s \times s$ matrix of Cartan invariants, giving the multiplicities of modular irreducibles as composition factors of their various projective covers (or PIMs), while $D'$ denotes the transpose of $D$. As a consequence, $C$ is symmetric. Moreover, every PIM has dimension divisible by the power of $p$ dividing $|G|$. Therefore the trivial modular character does occur once in its PIM, but it must also occur in the reduction mod $p$ of some other ordinary character.
On the the other hand, the projective cover of the trivial module is typically the most complicated one to pin down as to its precise dimension and as to which ordinary characters contribute to it. For finite groups of Lie type, the other extreme case is the Steinberg module, which lies in a block of its own and is its own projective cover. Its dimension is just the power of $p$ dividing $|G|$.
ADDED: I should also refer to my 1975 exposition here (which is pre-modern, meaning before Deligne-Lusztig) on ordinary and modular representations of SL$_2(\mathbb{𝔽}_p)$. This explains that the PIM for the trivial module has dimension just $p$, involving the trivial character of degree 1 and a second "cuspidal" character of degree $p-1$; but in general this dimension gets far more complicated to compute and the PIM involves a greater variety of ordinary characters reduced mod $p$.