  We describe how 4d de Sitter vacua might emerge from 11d heterotic M-theory.
Non-perturbative effects and $G$-fluxes play a crucial role leading to vacua
with F-term supersymmetry breaking and a positive energy density. Charged
scalar matter fields are no longer massless in these vacua thus solving one of
the problems of the heterotic string. Moreover, interesting dark matter
candidates appear in a natural way.
