论文题目：形式化方法与传统软件组件测试的比较
Thesis Work: Use of Formal Methods vs. Traditional Software Component Tests
- 地点
- 韦斯特罗斯，瑞典
- 类型
- 实习
- 部门
- 机器人研发系统与测试部门
- 编号
- JOB_POSTING-3-38035
职责
- 对比研究：RITES 方法与“传统”方法，并衡量感知努力、故障检测和不稳定性等。
- 欢迎对论文提出建议和修改意见。
- 论文工作独立完成，但将成为敏捷 Scrum 团队的一员，感受团队日常工作。
- 有专属导师指导，并有机会影响未来发展方向。
必备要求
- 计算机科学、应用物理、信息技术、系统工程或其他类似专业的工程系学生。
- 能够自如地在业余爱好、大学学习或职业环境中进行系统和编程工作。
- 好奇心强，求知欲旺盛。
Responsibilities
- Comparative study: RITES method vs. "traditional" methods, measuring perceived effort, fault detection, flakiness, etc.
- Suggestions and modifications to the thesis are welcome.
- Thesis work is independent, but you will be part of an agile Scrum team and experience daily team work.
- You will have a dedicated mentor and many opportunities to influence future directions.
Must Have
- Engineering student in Computer Science, Applied Physics, Information Technology, Systems Engineering, or similar.
- Comfortable working with systems and programming in hobby, university studies, or professional environment.
- Curious and eager to learn.
公司简介
在 ABB，我们帮助各行各业保持竞争优势——更高效、更可持续地运营。进步是我们的标准——为了您、您的团队，以及全世界。作为全球领导者，我们为您提供实现这一目标所需的一切。这并非易事，成长需要决心。但在 ABB，您永远不会孤军奋战。掌控推动世界发展的动力。在 ABB，你不仅仅是开始一份工作，更是开启一段个人和职业发展的旅程。我们的文化建立在强大的价值观之上，每个人都受到重视，并被赋予充分发挥其潜力的权力。我们相信，持续发展能够赋能每个人，使其有所作为。我们的“学习、连接、成长”体系和互助文化赋能 ABB 的每一位员工，帮助他们实现个人目标和抱负。在 ABB，我们关心员工及其故事。我们营造安全、公平、公正、包容的工作环境，让每个人都能蓬勃发展、获得成功，无论性别、种族或文化背景、性取向、宗教或社会背景如何。多元化的团队使我们更加强大。ABB 也致力于在所做的每一件事中秉持高标准的道德。