Compiler Engineer II (TS ACDS)
Do you want to contribute to the development of new programming languages that will be used to implement a secure operating system on a novel hardware platform? Would you like to be part of a growing research group working with leading universities on cutting edge computer science research?
BAE System’s Technology Solutions group in Burlington, MA, is leading the SAFE project to do a clean slate design of a secure, resilient, general purpose computer and operating system. Under the auspices of the DARPA CRASH program, we are designing a novel tagged hardware architecture, an information flow-aware programming language, and a new “zero kernel” operating system based on the principles of least privilege and mutual suspicion. We are using formal methods to prove security and correctness properties of the programming language and of the runtime components of SAFE.
Critical to this effort are the language implementations – SAFE has two new languages under development: (1) Breeze, an information-flow aware, dynamically typed, functional programming language, and (2) Tempest, a low level systems programming language with user-defined calling conventions and inline assembly. Language implementation encompasses compilers, interpreters, analysis and debugging tools, language design, and language runtime design and implementation. In short, if you want to be involved in creating new programming languages that will be used to implement a secure operating system on a novel hardware platform, this project is made for you!
As a member of the Advanced Computing and Decision Systems group, you will participate on different projects over time, and you will also be able to help define new projects. Some of the other projects we are currently working on involve probabilistic programming (under the DARPA PPAML project), meta-reasoning over proof structures as part of the DARPA HACMS program, and melding formal reasoning tools such as ACL2 with system engineering tools under the OSD Software Producibility Initiative.
BAE Systems Technology Solutions (http://www.eis.na.baesystems.com/technology-solutions/) Advanced Computing and Decision Systems is an entrepreneurial organization that focuses on research and development in computer science and artificial intelligence. We deliver state-of-the-art decision support and system analysis design and integration technologies for many customers in the defense and intelligence communities. We are based in Burlington, MA, and are part of a 1979 MIT spinoff company that was acquired by BAE Systems in 2004 and has since grown to more than 300 researchers, system engineers, and software developers, over 70 percent of whom hold advanced engineering and science degrees.
BAE Systems is a premier global defense and security company with approximately 100,000 employees delivering a full range of products and services for air, land and naval forces, as well as advanced electronics, security, information technology solutions and customer support and services.
Electronic Solutions, based in Nashua, New Hampshire, provides systems and products that maximize the effectiveness and safety of fighting forces and first responders. Its offerings include infrared countermeasures and electronic protection systems for military and civilian aircraft; information management systems; signal acquisition, analysis, and exploitation systems that optimize use of the electromagnetic spectrum by friendly forces while denying its use by adversaries; interoperable communications systems for firefighters and other first responders; thermal weapon sights; precision targeting systems; situational awareness systems for ground vehicles; night-vision systems; identification friend or foe systems; and radiation-hardened electronics. Electronic Solutions also includes the group’s Technology Solutions unit, which joins the business with government research organizations and industry to develop and demonstrate innovative system concepts in such areas as situational awareness, communications and networking, and precision targeting.
People are the greatest asset in any Company ...
BAE Systems is committed to a high performance culture and provides an environment that challenges our employees to be remarkable and obtain their full potential.
We are an EEO/Affirmative Action Employer that understands the value of diversity and its impact on a high performance culture.
Join us ...
If you are a job seeker with a disability and require an accommodation to navigate our careers site or apply for one of our jobs, please submit a request by telephone or via email.
• To request an accommodation by telephone, contact us at: 1-855-541-4654
• To request an accommodation by email, contact us at: email@example.com
* Please note: the dedicated email and telephonic options listed above are only for job seekers with disabilities requesting an accommodation. Please do not use the dedicated phone line or email box to check on the status of your job application.
If you do not find a position that matches your experience, please fill out our Job Agent profile. If we post a position that matches your skills you will be notified immediately via e-mail.
For quick and convenient job searches, access to our career site and other vital content, you need our jobs widget. It's yours for the taking.