Ready to find your path? Try new things. Share experiences. And discover what you truly enjoy.
Your Role
信息解决方案是亚洲体育博彩平台航空公司的一个部门，为亚洲体育博彩平台的客户创建数字信息解决方案. These are mainly created on the .Net development platform, 但我们一直致力于进一步开发和适应新技术, as our platforms have a very long lifespan.
我们在许多工程学科中提供技术挑战，我们是一个真正的跨职能团队，我们主要与IT合作, 但是应用在航空和支持行动中. 不像嵌入式系统的软件开发, 我们使用开放技术，但在有限的环境中，信息安全和可追溯性至关重要.
我们面临着比我们能处理的任务更多的挑战，现在我们的开发团队需要另一位软件工程师，因为我们正在进行大量的工作，有许多交付和额外的业务需求等待解决.
Background
为了维护鹰狮E/F飞机, 飞机机械师咨询指令提供给他们通过Windows应用程序. 该应用程序的数据由Saab在一个内部系统中编写和处理 .NET. 为了联合有效的指令一批飞机, 指令用布尔表达式标记. 这些表达可能会变得相当复杂和, in some cases, 一个简单的支票可能变成多个不必要的支票.
The master thesis idea:
在这篇硕士论文中，我们希望你创建一个库，能够使用我们复杂的布尔表达式来确定一条指令是否有效，如果有效, 给出一个相当简单的布尔表达式来确定它的时间. This library should be written in .NET. We aim to Create a .能够简化表达式并确定表达式是否具有固定结果的布尔表达式。NET库.
Examples
A && !B && C
如果A为真，B为假，C为真，这个布尔表达式为真.
A && B && ((C || A && B) && (!C || !A || !B))
这个复杂的布尔表达式可以简化为A && B && !C.
A && B && (!B && C)
不管A、B和C是什么，这个布尔表达式永远不会为真.
Result
预期结果:按偏好顺序递增的预期结果:
没有图书馆，但有一份报告，详细说明了已经尝试过的方法和如何进行的建议 .. NET库能够解决这里详细介绍的特定问题 .NET library for boolean expressions.
Your Profile
本硕士论文适合一至两名对软件开发有兴趣的学生撰写. 你已经完成了适足教育大学硕士课程的理学学士学位，即将开始你的硕士论文
这个职位要求你通过基于当前安全保护法规的安全审查. 对于需要安全审查的职位，可能会有额外的公民义务.
What you will be part of
BU Gripen, with 2,700 employees, 是一个新成立的业务部门，全面负责JAS 39“鹰狮”C/D/E/F. 空中飞行器工程是波士顿鹰狮大学的一个部门, with 150 employees, 负责整个“鹰狮”C/D/E/F飞机的系统工程和总体设计. 该部门由整体系统工程学科组成.
Contact information:
Monika Johansson Skerka, Manager
monika.johansson-skerka@saabgroup.com