毕业论文：30学分 - 具有自动化形式验证的多功能代码生成

Thesis work 30hp - Multi-function Code Generation with Automated Formal Verification

斯堪尼亚（Scania）

地点: 南泰利耶，瑞典
工作方式: 混合办公
类型: 实习
编号: 22149
招聘主体: Scania CV AB (publ)

汽车汽车基础软件

中文 English

职责

生成C代码的实现，从而在保持软件组件一致性的同时，减少手动编码工作量。
将自动化验证工具集成到代码生成流程中，以持续检查代码的正确性和规范遵循情况。
设计和测试一个流程，能够自动生成选定功能的代码，并由验证工具根据功能需求检查其正确性。
分析流程结果，改进生成方法，评估该方法的有效性以及在采用此类流程时可能出现的问题。
作业示例：创建用于生成多功能C代码的自然语言和形式化规范的基准；根据主函数自动推断子函数的形式化规范，并生成相应的子函数C代码；将一个已经过形式化验证的现有C文件拆分成多个经过验证的子函数；使用LLM自动生成C代码时，评估单功能版本和多功能版本之间的差异。

必备要求

教育背景：计算机科学或相关专业硕士学位，并具备形式化方法方面的知识。
学生人数：1-2人。
开始日期：2026年1月/2月。
预计所需时间：20-25周。

Responsibilities

Implement C code generation to reduce manual coding effort while maintaining software component consistency.
Integrate automated verification tools into the code generation pipeline to continuously check code correctness and compliance with standards.
Design and test a process that automatically generates code for selected functions and verifies its correctness against functional requirements using verification tools.
Analyze the results of the process to improve generation methods and evaluate the effectiveness and potential issues of adopting such a process.
Example tasks: create benchmarks for natural language and formal specifications for multi-function C code generation; automatically infer formal specifications for sub-functions from a main function and generate corresponding sub-function C code; split an existing formally verified C file into multiple verified sub-functions; evaluate differences between single-function and multi-function versions when using LLMs for automatic C code generation.

Must Have

Education: Master's degree in Computer Science or a related field, with knowledge of formal methods.
Number of students: 1-2.
Start date: January/February 2026.
Estimated duration: 20-25 weeks.

公司简介

斯堪尼亚是世界领先的交通运输解决方案提供商，致力于与客户和合作伙伴携手引领向可持续交通系统的转变。2018年，公司向客户交付了88,000台卡车、8,500辆巴士以及12,800台工业和船用发动机；净销售额达到1,371.26亿瑞典克朗，同比增长11%；收益达到138.32亿瑞典克朗。斯堪尼亚成立于1891年，业务遍及100多个国家和地区，全球员工约52,000名。研发中心位于瑞典，并在巴西和印度设有分支机构。生产部门集中在欧洲、拉美和亚洲，同时在非洲、亚洲和大洋洲地区也有生产中心。斯堪尼亚是TRATON SE的成员企业之一。2004年，斯堪尼亚在中国设立代表处；2007年斯堪尼亚销售（中国）有限公司成立；2010年成立中国战略中心；2016年将中国总部职能转移至上海；2018年全新一代斯堪尼亚在中国上市；2020年11月，斯堪尼亚制造（中国）有限公司在江苏南通如皋市注册成立。