PhD Candidates in Automatic Testing (via computational intelligence) in Continuous Integration Environments | Luxembourg City, Luxembourg | University of Luxembourg

Position:	PhD Candidates in Automatic Testing (via computational intelligence) in Continuous Integration Environments
Institution:	University of Luxembourg
Location:	Luxembourg City, Luxembourg
Duties:	Under the direction of a professor, the candidate will carry out research activities and write a thesis with the main goal of obtain a PhD in the area of Software Engineering. This includes conducting literature surveys and establishing state-of-the-art; developing necessary experimental and simulation facilities where required; planning, executing, and analyzing experiments and simulations; conducting joint and independent research activities; contributing to project deliverables, milestones, demonstrations, and meetings; disseminating results at international scientific conferences/workshops and peer reviewed scientific publications
Requirements:	Bachelor in Computer Science or related; Master on a subject related to Informatics, or Software Engineering, or Computer Science, or Information Technology; Strong background in software testing and formal methods applied to software engineering, such as, propositional/temporal logic, sat solving, model checking, etc; Strong analytical skills; Industry experience in information and communication technology will be considered as an advantage

Text:	PhD Candidates in Automatic Testing (via computational intelligence) in Continuous Integration Environments Under the direction of a professor, the candidate will carry out research activities and write a thesis with the main goal of obtain a PhD in the area of Software Engineering. This includes conducting literature surveys and establishing state-of-the-art; developing necessary experimental and simulation facilities where required; planning, executing, and analyzing experiments and simulations; conducting joint and independent research activities; contributing to project deliverables, milestones, demonstrations, and meetings; disseminating results at international scientific conferences/workshops and peer reviewed scientific publications Bachelor in Computer Science or related; Master on a subject related to Informatics, or Software Engineering, or Computer Science, or Information Technology; Strong background in software testing and formal methods applied to software engineering, such as, propositional/temporal logic, sat solving, model checking, etc; Strong analytical skills; Industry experience in information and communication technology will be considered as an advantage