Vacancies in Software Engineering Lab Open
Innopolis University invites the most talented graduate students (with or completing a master's degree at the university) and very ambitious candidates (with or completing a master's degree) to participate in advanced research in software engineering in the laboratory of the eminent French scientist Professor Bertrand Meyer .
The goal of creating a laboratory for software engineering and program verification is the development of (mathematical) theories, methods and practical tools to ensure high reliability indicators of software systems, and the training of scientific personnel in the field of static analysis of programs and formal methods.
The University’s laboratory takes an active part in international events, such as the Laser Summer School in Italy , and organizes its own , to familiarize potential employees with its research activities.
Field of work: development and testing,
software engineering,
verification of software systems and formal methods.
Eiffel is the main development language.
Salary 90-160 TR according to the results of the interview.
Details here .
The goal of creating a laboratory for software engineering and program verification is the development of (mathematical) theories, methods and practical tools to ensure high reliability indicators of software systems, and the training of scientific personnel in the field of static analysis of programs and formal methods.
The University’s laboratory takes an active part in international events, such as the Laser Summer School in Italy , and organizes its own , to familiarize potential employees with its research activities.
Field of work: development and testing,
software engineering,
verification of software systems and formal methods.
Eiffel is the main development language.
Laboratory Research Areas
∙ parallel and distributed computing;
∙ objectively oriented design;
∙ programming languages and specifications;
∙ software architecture;
∙ model checking and temporal logic;
∙ service-oriented architectures;
∙ microservices.
∙ objectively oriented design;
∙ programming languages and specifications;
∙ software architecture;
∙ model checking and temporal logic;
∙ service-oriented architectures;
∙ microservices.
Requirements
∙ bachelor's level in computer science, for graduate students - master's degree, for junior researchers - doctoral degree;
∙ knowledge of mathematics, theory of algorithms, compilers, operating systems, software engineering, programming;
∙ level of English is not lower than Intermediate;
∙ knowledge of Java, C ++ programming languages (knowledge of Eiffel will be a plus when considering a resume).
∙ knowledge of mathematics, theory of algorithms, compilers, operating systems, software engineering, programming;
∙ level of English is not lower than Intermediate;
∙ knowledge of Java, C ++ programming languages (knowledge of Eiffel will be a plus when considering a resume).
Main responsibilities
Conducting research, writing scientific papers, 30% of the time teaching as an assistant professor.
Salary 90-160 TR according to the results of the interview.
Details here .