It turns out we can computationally design the most stable mRNA sequence for any given protein. For the spike protein of SARS-CoV-2 (which Moderna uses for its mRNA-1273 vaccine), LinearDesign exact mode takes ~1.6 hours (achieving free energy -2477.7 kcal/mol), and LinearDesign beam size b=1000 takes ~20 minutes with ~0.6% free energy loss.
By comparison, the wild type (in the virus) is only -1075.4 kcal/mol, and the best random sequence (among 5,000 sequences taken randomly but using codons proportional to human codon usage) is -1220.3 kcal/mol, suggesting that the designed mRNA sequence is far more stable.
paper: https://arxiv.org/abs/2004.10177
webserver: http://rna.baidu.com/