  The aim of this paper is to establish a pseudo-differential Weyl calculus on
graded nilpotent Lie groups $G$ which extends the celebrated Weyl calculus on
$\mathbb{R}^n$. To reach this goal, we develop a symbolic calculus for a very
general class of quantization schemes, following [Doc. Math., 22, 1539--1592,
2017], using the H\"{o}rmander symbol classes $S^m_{\rho, \delta}(G)$
introduced in [Progress in Mathematics, 314. Birkh\"{a}user/Springer, 2016]. We
particularly focus on the so-called symmetric calculi, for which quantizing and
taking the adjoint commute, among them the Euclidean Weyl calculus, but we also
recover the (non-symmetric) Kohn-Nirenberg calculus, on $\mathbb{R}^n$ and on
general graded groups [Progress in Mathematics, 314. Birkh\"{a}user/Springer,
2016]. Several interesting applications follow directly from our calculus:
expected mapping properties on Sobolev spaces, the existence of one-sided
parametrices and the G\r{a}rding inequality for elliptic operators, and a
generalization of the Poisson bracket for symmetric quantizations on stratified
groups.
  In the particular case of the Heisenberg group $\mathbb{H}_n$, we are able to
answer the fundamental questions of this paper: which, among all the admissible
quantizations, is the natural Weyl quantization on $\mathbb{H}_n$? And which
are the criteria that determine it uniquely? The surprisingly simple but
compelling answers raise the question whether what is true for $\mathbb{R}^n$
and $\mathbb{H}_n$ also extends to general graded groups, which we answer in
the affirmative in this paper.
  Among other things, we discuss and investigate an analogue of the symplectic
invariance property of the Weyl quantization in the setting of graded groups,
as well as the notion of the Poisson bracket for symbols in the setting of
stratified groups, linking it to the symbolic properties of the commutators.
