准备好寻找你的道路? 尝试新事物. 分享经验. 发现你真正喜欢的是什么.
你的角色
信息解决方案是星际网赌导航航空公司的一个部门，为星际网赌导航的客户创建数字信息解决方案. 这些主要是创建在 .网络开发平台, 但我们一直致力于进一步开发和适应新技术, 因为我们的平台有很长的生命周期.
我们在许多工程学科中提供技术挑战，我们是一个真正的跨职能团队，我们主要与IT合作, 但是应用在航空和支持行动中. 不像嵌入式系统的软件开发, 我们使用开放技术，但在有限的环境中，信息安全和可追溯性至关重要.
我们面临着比我们能处理的任务更多的挑战，现在我们的开发团队需要另一位软件工程师，因为我们正在进行大量的工作，有许多交付和额外的业务需求等待解决.
Background
为了维护鹰狮E/F飞机, 飞机机械师咨询指令提供给他们通过Windows应用程序. 该应用程序的数据由Saab在一个内部系统中编写和处理 .网。. 为了联合有效的指令一批飞机, 指令用布尔表达式标记. 这些表达可能会变得相当复杂和, 在某些情况下, 一个简单的支票可能变成多个不必要的支票.
硕士论文思路:
在这篇硕士论文中，我们希望你创建一个库，能够使用我们复杂的布尔表达式来确定一条指令是否有效，如果有效, 给出一个相当简单的布尔表达式来确定它的时间. 这个库应该被写入 .网。. 我们的目标是创造一个 .能够简化表达式并确定表达式是否具有固定结果的布尔表达式。网。库.
例子
A && !B && C
如果A为真，B为假，C为真，这个布尔表达式为真.
A && B && ((C || A && B) && (!C || !A || !B))
这个复杂的布尔表达式可以简化为A && B && !C.
A && B && (!B && C)
不管A、B和C是什么，这个布尔表达式永远不会为真.
结果
预期结果:按偏好顺序递增的预期结果:
没有图书馆，但有一份报告，详细说明了已经尝试过的方法和如何进行的建议 .. 网。库能够解决这里详细介绍的特定问题 .用于布尔表达式的。网。库.
你的资料
本硕士论文适合一至两名对软件开发有兴趣的学生撰写. 你已经完成了适足教育大学硕士课程的理学学士学位，即将开始你的硕士论文
这个职位要求你通过基于当前安全保护法规的安全审查. 对于需要安全审查的职位，可能会有额外的公民义务.
你将成为其中的一员
但“鹰狮”, 用2,700名员工, 是一个新成立的业务部门，全面负责JAS 39“鹰狮”C/D/E/F. 空中飞行器工程是波士顿鹰狮大学的一个部门, 拥有150名员工, 负责整个“鹰狮”C/D/E/F飞机的系统工程和总体设计. 该部门由整体系统工程学科组成.
联系信息:
莫妮卡·约翰逊·斯克尔卡，经理
莫妮卡.johansson-skerka@saabgroup.com