The paper examines the impact of the COVID-19 pandemic on human resource management processes in project-oriented companies. It is proposed to use formal transformations on groups of performers. The use of formal transformations will reduce the influence of the subjective factor and improve the quality of sustainability management decisions made when forming a project team. The formalization of the selection process of applicants and the distribution of work among the performers have been considered. The existing methods of forming a project team with functional redundancy are approximate. Methodological support for the process of forming a project team with functional redundancy, based on a logical-combinatorial approach, and allowing to form project teams under given constraints, is proposed. A method of forming a functionally redundant project team based on formal transformations of groups of performers has been developed. The use of the apparatus of symbolic sequences for the formation of a project team with functional redundancy is proposed. An example of using the proposed method when forming a command with functional redundancy is considered. It is shown that the use of this methodological support makes it possible to select the composition of the project team with the minimum number and the minimum value of the characteristic.