PhD Candidate in Automated Software Testing | Luxembourg City, Luxembourg | University of Luxembourg

Position:	PhD Candidate in Automated Software Testing
Institution:	University of Luxembourg
Location:	Luxembourg City, Luxembourg
Duties:	Design, implement and evaluate automated techniques for inferring test oracles (aka metamorphic relations) based on grammar-based fuzzing, dynamic metamorphic relation detection, and mutation analysis; Design, implement and evaluate these techniques in implementing workarounds for runtime failure recovery methods
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 Candidate in Automated Software Testing Design, implement and evaluate automated techniques for inferring test oracles (aka metamorphic relations) based on grammar-based fuzzing, dynamic metamorphic relation detection, and mutation analysis; Design, implement and evaluate these techniques in implementing workarounds for runtime failure recovery methods 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