The department “Mathematical Foundations of Informatics” (MFI) of the Institute of Mathematics and Informatics of the Bulgarian Academy of Sciences welcomes expression of interest by postdoctoral researchers, offering to host highly motivated mathematicians and computer scientists, who wish to apply for a Marie Skłodowska Curie Individual Fellowship or a National Scientific Program “P. Beron” Fellowship. Successful candidates will be affiliated with the International Center for Mathematical Sciences, Sofia (ICMS-Sofia), which is part of the Institute of Mathematics and Informatics.

The main activities of MFI are research, applications and training in coding theory, combinatorics, computer algebra, and theoretical computer science. The research group supports its activities with project-based funding, both from state and European funding mechanisms. It is recipient of several grants from the Bulgarian National Science Fund and different European operational and framework programmes, as well as COST actions.

MFI has excellent gender balance and experience distribution and maintains a diverse, inclusive and dynamic work environment, focused on pure and applied research.

MFI has carried out research, innovation and expert activities in the different fields, as the current research priorities of the department are optimal codes, bounds for codes and designs in polynomials metric spaces, cryptography, combinatorics and finite geometries.

Optimal Codes

Error-correcting codes have practical applications in many spheres of life such as information technology, communications, control systems, etc. In a series of papers starting from late 70’s a number of important properties of optimal linear codes were proved leading to classification results for both binary and q-ary cases. Apart from pure mathematical results specialized software was developed to strengthen the research capabilities in the field. The investigations in the field continue with new constructions and nonexistence results are proved in different cases, ensuring further classification. Recent projects develop tools created by the team initially for investigations of optimal codes for use in combinatorics and cryptography. The research in this area will be supervised by Prof. Iliya Bouyukliev. (more…)