Opened vacancies in the laboratory of software engineering
Innopolis University invites the most talented graduate students (with or completing a master's degree at the university) and very ambitious candidates (with or finishing a PhD degree) to participate in advanced research in software engineering in the laboratory of the outstanding French scientist Professor Bertrand Meyer .
The purpose of creating a laboratory of software engineering and verification of programs is to develop (mathematical) theories, methods and practical tools to ensure high reliability of software systems, and training of scientific personnel in the field of static analysis of programs and formal methods.
The University Laboratory takes an active part in international events, such as the Summer School of Program Development in Italy Laser , and organizes its own , to familiarize potential employees with its scientific activities.
')
Sphere 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 purpose of creating a laboratory of software engineering and verification of programs is to develop (mathematical) theories, methods and practical tools to ensure high reliability of software systems, and training of scientific personnel in the field of static analysis of programs and formal methods.
The University Laboratory takes an active part in international events, such as the Summer School of Program Development in Italy Laser , and organizes its own , to familiarize potential employees with its scientific activities.
')
Sphere 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;
∙ objective-oriented design;
∙ programming languages and specifications;
software architecture;
∙ model checking and temporal logic;
∙ service-oriented architectures;
∙ microservices.
∙ objective-oriented design;
∙ programming languages and specifications;
software architecture;
∙ model checking and temporal logic;
∙ service-oriented architectures;
∙ microservices.
Requirements
∙ bachelor's degree in computer science, for graduate students - a master's degree, for junior researchers - a doctoral degree;
∙ knowledge of mathematics, theory of algorithms, compilers, operating systems, software engineering, programming;
∙ level of English not lower than Intermediate;
Knowledge of programming languages Java, C ++ (knowledge of Eiffel will be a plus when reviewing a resume).
∙ knowledge of mathematics, theory of algorithms, compilers, operating systems, software engineering, programming;
∙ level of English not lower than Intermediate;
Knowledge of programming languages Java, C ++ (knowledge of Eiffel will be a plus when reviewing 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 .
Source: https://habr.com/ru/post/248467/
All Articles