Riverside Overview: Riverside Research is an independent National Security Nonprofit dedicated to research and development in the national interest. We provide high-end technical services, research and development, and prototype solutions to some of the countrys most challenging technical problems. All Riverside Research opportunities require U.S. Citizenship. Position Overview: For better or worse, there is almost no facet of our modern world that works without a computer system. Virtually all of those computer systems rely on systems software to manage distinct tasks and bridge the gap between hardware and higher-level software. Whether it is an embedded system using tightly-coupled FPGA fabric to offload performance- or security-critical tasks or a server using a hypervisor to manage co-resident guests, there is low-level code making sure that higher-level code can see a sane and well-ordered world. That lower-level code is full of complexity as it works to bridge the gap from the realities of diverse hardware ISAs to higher-level abstractions. It is also foundational to the security story of all of our systems. At Riverside Research, the Secure and Resilient Systems group works to strengthen that code to provide our customers with secure foundations for their mission-critical software stacks. This is essential to getting ahead of the attacker rather than playing whack-a-mole with bug fixes. Sometimes, computers can help us to analyze and implement protections on these software layers in the form of program analysis and compiler-based security mechanisms. Riverside Research is seeking a junior or mid-career research scientist to support research and development of cutting-edge compiler and program analysis security technologies. As a key member of our Secure and Resilient Systems team, the research scientist will prototype new features in open-source compilers such as LLVM and program analysis tools and frameworks such as angr or others. Strong fundamentals in software development practices for large projects (version control, debugging techniques, etc), an understanding of the system software stack and the software/hardware interface, and a strong background in computer science fundamentals (e.g., algorithms, data structures, program languages) will be critical for efficiently designing and prototyping dramatic features that advance the state of the art in compilers and program analysis. The research scientist will contribute to a diverse team responsible for developing compiler technologies and program analyses that increase the security of system software like Linux or Xen. They will be expected to prototype and push both code and accompanying documentation/design documents. Additionally, they will engage in the research process by assisting the team to design solutions to new challenges, break problems into subtasks, implement features, and evaluate the resulting prototypes. The research scientist should have the writing skills necessary to communicate their ideas and results to internal and external stakeholders. The research scientist should have experience in C/C++, at least one assembly language, Python, and, for bonus points, Rust. A good candidate should be able to explain why BOTH C and Rust are on this list and why Python is on this list (even though no system software is written in Python). An ideal candidate for this position would have experience writing code that interacts directly hardware and be able to explain the challenges of working at the software/hardware interface and how theyve overcome those challenges in the past. Experience with tools for program analysis (these may be written in higher-level languages and leverage DSLs or DSL interpreters/compilers) is also desirable. A good candidate research scientist should be able to explain why programing language fundamentals from C to Haskell to different flavors of domain-specific languages are relevant to this role. Responsibilities: <ul><li>Help the group design innovative solutions to customer problems related to systems software</li><li>Prototype and evaluate features within large software projects like LLVM or angr</li><li>Build new tools and/or capabilities in a range of relevant programming languages</li><li>Contribute to whitepapers and/or published papers that document innovative work preformed</li><li>Document and communicate design decisions, technical challenges, and progress to technical program management</li><li>Collaborate with team members on debugging programs, pair programming, reviewing papers/proposals, etc.</li><li>Participate in relevant internal and customer meetings</li></ul> Qualifications: Required:<ul><li>Bachelor's degree, preferred in related technical field, such as computer science, computer engineering, electrical engineering, or cybersecurity and 2 years experience</li><li>Strong software development fundamentals for working inside a large project (e.g., submitting PRs, interacting with open-source communities and mailing lists, git branches/merges/rebasing, build systems, etc)</li><li>Must be eligible to obtain a Top Secret security clearance.</li><li>Communication and creative skills to develop, prototype, benchmark, and document significant security features integrated into existing systems security technologies</li><li>Fluency in various programming languages, and strong background in programing languages, algorithms, and data structures fundamentals</li></ul>Desired:<ul><li>MS or PhD degree in Computer Science or related field</li><li>Strong grasp on the research process (e.g., reading & writing academic papers, ideation for inventing solutions to hard problems)</li><li>Healthy balance between technical orientation and business acumen</li><li>Ability to operate independently with limited supervision and feedback, and establish a solid working relationship with peers in the group and across Riverside Research</li><li>Self-starter and ability to manage time and technical tasks independently without direct supervision</li><li>Superior written and verbal communications skills</li><li>Experience with both defensive and offensive cyber tools</li><li>Familiarity with Rust or other cutting-edge system software languages and tools</li></ul> Global Comp: $85,000 - $130,000 This represents the typical compensation range for this position based on experience, location and other factors. Closing Statement: Riverside Research Institute is a not-for-profit, technology-oriented defense company, where service to our customers and support of our staff is our overall mission. Riverside is an affirmative action-equal opportunity employer and complies with all applicable federal, state, and local laws regarding recruitment and hiring. Riverside offers comprehensive compensation and benefit packages to our employees. Riverside bases its employment decisions solely on technical experience, qualifications and other job-related criteria related to our organizational purpose as a not-for-profit company, and without regard to race, color, religion, age, sex marital status, sexual orientation, national origin, physical or mental disability, veterans status or any other status legally protected by applicable federal, state, and local law.

Riverside Overview:Riverside Research is an independent National Security Nonprofit dedicated to research and development in the national interest. We provide high-end technical services, research and development, and prototype solutions to some of the countrys most challenging technical problems.All Riverside Research opportunities require U.S. Citizenship.Position Overview:The way we are securing computer systems is not working, come help us change the paradigm as we apply formal techniques to system security. Modern computing systems are complex. As scientists we deal with complexity by utilizing abstraction. Thus layered system architectures are the foundation of all modern computing systems. Yet these system layers can interact in ways that people who use them (and even the people who designed and built them) do not understand. This paves the way for attackers to exploit systems.Riverside Research's Secure and Resilient Systems group is working to change this paradigm. We are developing new theories, techniques, and tooling to support scalable system security analysis using formal methods. If you have a background with existing formal methods tools like Coq, TLA+, EasyCrypt, and SMT solvers, F*, we would love to talk. This position can be in Lexington, MA or Dayton, OH.Responsibilities:Use formal methods to model complex systemsProvide feedback to our tool development team on ways to make the tools we develop betterResearch new methods to make application of formal methods to systems we are analyzing betterBuild new formal methods toolsParticipate in relevant internal and customer meetingsQualifications:Required Qualifications:Bachelor's degree in Computer Science, Computer Engineering, Electrical Engineering, or Cybersecurity and 8 years of relevant experience, 6 years and a Masters, or 3 years and a PhD.Prior experience with formal methods toolsA deep technical understanding of cybersecurity problems and solutionsExperience with modern software development tools and practicesSelf-starter and ability to manage time and technical tasks independently without direct supervisionDesired Qualifications:MS or PhD degree in related technical fieldExperience with cryptography and formal methods applied to cryptographyExperience writing peer-reviewed technical papersExperience giving presentations to technical peers and leadersGlobal Comp:$113,400- $210,600 This represents the typical compensation range for this position based on experience, location and other factors.Closing Statement:Riverside Research Institute is a not-for-profit, technology-oriented defense company, where service to our customers and support of our staff is our overall mission. Riverside is an affirmative action-equal opportunity employer and complies with all applicable federal, state, and local laws regarding recruitment and hiring. Riverside offers comprehensive compensation and benefit packages to our employees.Riverside bases its employment decisions solely on technical experience, qualifications and other job-related criteria related to our organizational purpose as a not-for-profit company, and without regard to race, color, religion, age, sex marital status, sexual orientation, national origin, physical or mental disability, veterans status or any other status legally protected by applicable federal, state, and local law.#J-18808-Ljbffrby Jobble

Riverside Overview: Riverside Research is an independent National Security Nonprofit dedicated to research and development in the national interest. We provide high-end technical services, research and development, and prototype solutions to some of the countrys most challenging technical problems. All Riverside Research opportunities require U.S. Citizenship. Position Overview: The way we are securing computer systems is not working, come help us change the paradigm as we apply formal techniques to system security. Modern computing systems are complex. As scientists we deal with complexity by utilizing abstraction. Thus layered system architectures are the foundation of all modern computing systems. Yet these system layers can interact in ways that people who use them (and even the people who designed and built them) do not understand. This paves the way for attackers to exploit systems.Riverside Research's Secure and Resilient Systems group is working to change this paradigm. We are developing new theories, techniques, and tooling to support scalable system security analysis using formal methods. If you have a background with existing formal methods tools like Coq, TLA+, EasyCrypt, and SMT solvers, F*, we would love to talk. This position can be in Lexington, MA or Dayton, OH. Responsibilities: <ul><li>Use formal methods to model complex systems</li><li>Provide feedback to our tool development team on ways to make the tools we develop better</li><li>Research new methods to make application of formal methods to systems we are analyzing better</li><li>Build new formal methods tools</li><li>Participate in relevant internal and customer meetings</li></ul> Qualifications: Required Qualifications: <ul><li>Bachelor's degree in Computer Science, Computer Engineering, Electrical Engineering, or Cybersecurity and 8 years of relevant experience, 6 years and a Masters, or 3 years and a PhD.</li><li>Prior experience with formal methods tools</li><li>A deep technical understanding of cybersecurity problems and solutions </li><li>Experience with modern software development tools and practices</li><li>Self-starter and ability to manage time and technical tasks independently without direct supervision</li></ul> Desired Qualifications: <ul><li>MS or PhD degree in related technical field</li><li>Experience with cryptography and formal methods applied to cryptography</li><li>Experience writing peer-reviewed technical papers</li><li>Experience giving presentations to technical peers and leaders</li></ul> Global Comp: $113,400- $210,600 This represents the typical compensation range for this position based on experience, location and other factors. Closing Statement: Riverside Research Institute is a not-for-profit, technology-oriented defense company, where service to our customers and support of our staff is our overall mission. Riverside is an affirmative action-equal opportunity employer and complies with all applicable federal, state, and local laws regarding recruitment and hiring. Riverside offers comprehensive compensation and benefit packages to our employees. Riverside bases its employment decisions solely on technical experience, qualifications and other job-related criteria related to our organizational purpose as a not-for-profit company, and without regard to race, color, religion, age, sex marital status, sexual orientation, national origin, physical or mental disability, veterans status or any other status legally protected by applicable federal, state, and local law.

We live in a time in which you have a choice - a choice where to work, where to apply your talents and ideas, where to grow and look for self-fulfillment.The Secure, Resilient Systems and Technology Group at Lincoln Laboratory is made up of security architects, software developers, hardware and electrical engineers, cryptographers, computer scientists, and systems analysts, who share a common passion for solving the hardest technical problems in national security. We pursue innovative, high-impact, practical research in small, focused teams. We succeed by being involved in all R&D phases, including problem analysis and innovative solution design, system architecture, rapid prototyping and field-testing, and ultimately transfer of our technology to DoD, Intelligence Community, and other government sponsors, as well as to industry. Being part of MIT, we also collaborate closely with academia and publish our research in top-tier venues.If you would like to pursue your passion for cutting-edge research and work on things that truly matter at a place that combines problems of pressing national importance with MIT's culture of academic excellence, abundance of resources, and superior work-life balance, apply here to learn more.Job DescriptionYou will be advancing the research state of the art for ensuring security and resiliency of next?generation mission?critical systems relevant to National Security. You will study, innovate, and prototype new technologies in secure computing, storage, and communication areas, and ultimately work to apply and transfer such technologies to real?world use cases and systems.Requirements* PhD degree in Computer Security, System Engineering, Computer Science, Software Engineering, Computer Engineering, Electrical Engineering, or related fields* In lieu of PhD, a Master's degree with 5 or more years of relevant experience will be considered.* Deep knowledge and extensive experience in one or more of the following:* Architecture, analysis, design, implementation, and measurement of secure sub?systems and systems.* Academic or professional research experience and/or publications in the areas of computer security, resiliency, and/or cryptography.* Analysis, modeling, design, development, testing, and verification of embedded and/or hardware systems.* Design, analysis, verification, and implementation of cryptographic algorithms and protocols.* Knowledge of computer security / cryptography related government and industry standards.* The passion to convert vision into reality, excellent work ethic, and outstanding communication skills are essential.Desired Knowledge* Threat modeling and security requirements analysis.* System engineering. Computer and software security. Familiarity with or interest in secure programming. Multi?core/multi?thread computing.* Operating system internals, OS?level middleware, distributed systems, and network protocols. Data?structures, state?machines, and algorithms.* Design/development in Rust, C/C++, Python; familiarity with the software development lifecycle, including design, documentation, and testing.* Embedded, real-time, and/or hardware systems security. Co?design and integration of software and hardware, IP cores, sensors, system?on?chip design and verification.* Moving target defense techniques: Dynamic Runtime Environment, Networks, Platforms, Software, and Data* Advanced and applied cryptography, security protocols, such as Multi?Party Computation, Differential Privacy, Zero Knowledge Protocols, etc.* Applied formal methodsAt MIT Lincoln Laboratory, our exceptional career opportunities include many outstanding benefits to help you stay healthy, feel supported, and enjoy a fulfilling work-life balance. Benefits offered to employees include:* Comprehensive health, dental, and vision plans* MIT-funded pension* Matching 401K* Paid leave (including vacation, sick, parental, military, etc.)* Tuition reimbursement and continuing education programs* Mentorship programs* A range of work-life balance options* ... and much more!Please visit our Benefits page for more information. As an employee of MIT, you can also take advantage of other voluntary benefits, discounts and perks.Selected candidate will be subject to a pre-employment background investigation and must be able to obtain and maintain a Secret level DoD security clearance.MIT Lincoln Laboratory is an Equal Employment Opportunity (EEO) employer. All qualified applicants will receive consideration for employment and will not be discriminated against on the basis of race, color, religion, sex, sexual orientation, gender identity, national origin, age, veteran status, disability status, or genetic information; U.S. citizenship is required.Requisition ID: 41063

Research Scientist Jobs in Lexington, MA

Research Scientist Systems Security
May 1, 2024

Research Scientist Formal Methods
April 28, 2024

Research Scientist Formal Methods
April 23, 2024

Research Scientist System Security Researcher
April 23, 2024

Research Scientist Formal Methods
April 21, 2024

Research Scientist System Security Researcher
April 19, 2024

Quick filters

Top companies

Research Scientist Jobs in Lexington, MA

Research Scientist Systems SecurityMay 1, 2024

Research Scientist Formal MethodsApril 28, 2024

Research Scientist Formal MethodsApril 23, 2024

Research Scientist System Security ResearcherApril 23, 2024

Research Scientist Formal MethodsApril 21, 2024

Research Scientist System Security ResearcherApril 19, 2024