<p> <p>Riverside Overview</p>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 country’s most challenging technical problems. All Riverside Research opportunities require U.S. Citizenship.<p>Position Overview</p><p>As we approach the forecasted “death” of Moore’s law, compute platform architectures need to rely on increasingly complex compositions of different types of hardware resources to achieve mission objectives with acceptable SWAP-C. The proof may be right in your pocket with modern smartphones combining high-performance cores, low-power cores and GPUs to offer optimal user experience.</p><p>From the security perspective, heterogeneous architectures offer exciting new capabilities while at the same time threatening platform security by adding complexity. In Riverside Research’s Secure and Resilient Systems group, we study security in foundational system layers including operating systems, hypervisors, and compilers. However, modern heterogeneous compute platforms demand hardware-inclusive solutions as well.</p><p>Riverside research is seeking a research scientist to provide a hardware perspective in low-level software security projects. The research scientist will work with the group to design and implement experiments and prototypes to validate security-focused hypotheses. The research scientist will need to balance technical depth with strong communication skills to work within an interdisciplinary technical team and communicate requirements and results to internal and external program management.</p><p>Although expertise in any of these particular domains is not required, a good candidate for this role would be interested in discussing cutting-edge research topics such as:</p><ul><li>Automatic translation of programming language code to FPGA circuits (IE high level synthesis)</li><li>Offensive and defensive capabilities offered by arbitrary control of the fabric in a tightly-coupled FPGA on an SOC like the Xilinx Zynq</li><li>The level of introspection possible from peripheral busses like PCIe</li><li>Program partitioning for platforms with heterogeneous compute</li><li>Security-focused ISAs (or ISA extensions) like CHERI / ARM Morello</li></ul><p>Responsibilities</p><ul><li>Help the group design innovative solutions to customer problems related to systems that include FPGAs or other diverse hardware features</li><li>Prototype and evaluate features on FPGA hardware using both pre-existing IP cores and custom logic</li><li>Build new tools and/or capabilities in a range of relevant HDL & 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><p>Qualifications</p><p><strong>Required Qualifications:</strong></p><ul><li>Bachelor's degree with 2+ years experience, or MS degree preferred in related technical field, such as computer science, computer engineering, electrical engineering, or cybersecurity</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 one or more hardware description languages (e.g., Verilog, VHDL)</li><li>Experience using Xilinx Vivado IDE</li><li>Comfort with programming in C/C++, Python, and at least one assembly language</li></ul><p><strong>Desired Qualifications:</strong></p><ul><li>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 leveraging GPUs in a heterogeneous compute environment</li><li>Understanding of the software-hardware interface including kernel driver development experience</li></ul><p>Global Comp</p>$90,000 - $145,000 This represents the typical compensation range for this position based on experience, location and other factors.<p>Closing Statement</p>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, veteran’s status or any other status legally protected by applicable federal, state, and local law. </p><p>Receive tips & info on cleared job search, security clearances and career development.</p>
#J-18808-Ljbffr

<h3>Senior Research Scientist - Formal Methods</h3><p><b>Location:</b> US-MA-Lexington</p><p><b>ID:</b> 2024-3563</p><p><b>Category:</b> Research & Development</p><p><b>Position Type:</b> Full Time Salary</p><h3>Riverside Overview</h3><p>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 country's most challenging technical problems.</p><p>All Riverside Research opportunities require U.S. Citizenship.</p><h3>Position Overview</h3><p>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.</p><p>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 Iris, Coq, TLA+, EasyCrypt, and SMT solvers, F*, we would love to talk.</p><h3>Responsibilities</h3><ul><li>Use formal methods to model complex systems</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>Provide feedback to our tool development team on ways to make the tools we develop better</li><li>Participate in relevant internal and customer meetings</li></ul><h3>Qualifications</h3><p><b>Required:</b></p><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><li>Must be able to obtain a security clearance</li></ul><p><b>Desired:</b></p><ul><li>MS or PhD degree in related technical field</li><li>Experience with Iris and/or other modern frameworks for separation logic</li><li>Experience writing peer-reviewed technical papers</li><li>Experience giving presentations to technical peers and leaders</li></ul><h3>Global Compensation</h3><p>$113,000- $200,000 This represents the typical compensation range for this position based on experience, location and other factors.</p><h3>Closing Statement</h3><p>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.</p><p>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, veteran's status or any other status legally protected by applicable federal, state, and local law.</p>
#J-18808-Ljbffr

<div><br><div><br><div><br><br><div><br><div><br><div><br><div><br><div><br><br><span><br><label>Select how often (in days) to receive an alert:</label><br></span><br><div><br>JOIN OUR TALENT NETWORK<br></div><br></div><br></div><br></div><br></div><br></div><br></div><br><div><br><div><br><div><br><font>Research Scientist, Superconducting Qubit Experimental Research</font><br><div><br>Apply now<br></div><br></div><br><p><strong>Date: </strong>Nov 25, 2024<br></p><br><p><br><strong>Location:</strong><br><span>Lexington, MA, US<br></span><br></p><br><p><br><strong>Company:</strong><br><span>MIT Lincoln Laboratory</span><br></p><br><div><br><span><br><p><span>The Quantum Information and Integrated Nanosystems Group at MIT Lincoln Laboratory develops quantum systems, including theory, engineering, and control, to address critical future technology needs. Areas of focus include superconducting qubits, trapped ions, integrated photonics, and solid-state quantum sensing. The group's innovative research is supported by on-site state-of-the-art fabrication tools, close partnership with universities and industry, extensive test and measurement infrastructure, and daily collaboration with the 1700+ Ph.D-level scientists within Lincoln Laboratory.</span></p><br><br><div><div><div><font>Job Description</font><br></div><div><p><span>The group seeks full-time Technical Staff to drive research at the forefront of superconducting quantum computing. Our work spans foundational studies of noise mechanisms in qubits and demonstrations of novel qubit modalities to development of extensible platforms for testbed-scale applications. The successful candidate will join MIT Lincoln Laboratory's world-class team of researchers and leverage our industry-leading fabrication capabilities to address important questions driving the performance and utility of superconducting quantum technology.<br><br>The successful candidate will be responsible for setting experimental plans and directions; designing and simulating superconducting quantum circuits; developing measurement and control software; implementing calibration, automation, and benchmarking protocols; performing experiments; and analyzing and documenting results. Experience in some or all of these areas is required, either through prior work on superconducting qubits or within an alternate qubit modality. You will work with a team of experts in superconducting qubit theory, design, fabrication, and measurement, and a successful candidate will be excited to work collaboratively across this team. Members of the Technical Staff are expected to mentor and supervise more junior researchers, lead small teams of colleagues, contribute to program development and management, and help shape future research directions.</span></p><br></div></div><div><div><font>Requirements</font><br></div><div><p><br><br><span>1. PhD in Physics, Electrical Engineering, Quantum Science/Engineering, or related field; M.S. degree and 5+ years' relevant experience; or employment experience demonstrating an equivalent proficiency<br><br>2. Prior experience in experimental quantum science with a strong track record evidenced by peer-reviewed publications and conference presentations<br><br>3. Demonstrated scientific programming skills (Python, MATLAB, LabView, Mathematica, etc.)<br><br>4. Excellent technical and inter-personal communication skills<br><br>5. Strong collaboration skills and the ability to work successfully as part of a team</span></p><br><p><br><br><span>Desired:<br><br>1. Experience in superconducting qubit research through device theory, simulation, design, fabrication, and/or measurement.<br><br>2. Demonstrated record of innovation in quantum circuit design and theory, quantum noise characterization techniques, metrology of quantum operations, quantum algorithm implementation and characterization, and/or other advanced quantum techniques<br><br>3. Cryogenic system operation in low-noise environments<br><br>4. RF/microwave measurement</span></p><br><br></div></div></div><br><p><span>At 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:</span></p><br><ul><br><li><span>Comprehensive health, dental, and vision plans</span></li><br><li><span>MIT-funded pension</span></li><br><li><span>Matching 401K</span></li><br><li><span>Paid leave (including vacation, sick, parental, military, etc.)</span></li><br><li><span>Tuition reimbursement and continuing education programs</span></li><br><li><span>Mentorship programs</span></li><br><li><span>A range of work-life balance options</span></li><br><li><span>... and much more!</span></li><br></ul><br><p><span>Please visit our Benefits page for more information. As an employee of MIT, you can also take advantage of<span>other voluntary benefits, discounts and perks</span>.</span></p><br><p>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.</p><br><p>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.</p><br><br><p><b>Requisition ID:</b> 41183</p><br><br></span><br><p><br><span><br><br><strong>Nearest Major Market: </strong>Boston<br></span><br><span><br><br><strong>Job Segment:</strong><br><span>Research Scientist, Security Clearance, Laboratory, Testing, Research Engineer, Science, Government, Technology, Engineering<br></span><br></span><br></p><br></div><br><div><br><div><br>Apply now<br></div><br></div><br><br></div><br></div><br><aside><br><div>Find similar jobs:</div><br><div><br>Engineering,<br>Advanced Technology<br></div><br></aside><br></div><br></div>
#J-18808-Ljbffr

Research Scientist Jobs in Lexington, MA

Research Scientist Fpgas
December 10, 2024

Senior Research Scientist Formal Methods
December 9, 2024

Research Scientist Superconducting Qubit Experimental Research
December 8, 2024

Quick filters

Top companies

Research Scientist Jobs in Lexington, MA

Research Scientist FpgasDecember 10, 2024

Senior Research Scientist Formal MethodsDecember 9, 2024

Research Scientist Superconducting Qubit Experimental ResearchDecember 8, 2024

Quick filters

Top companies

Research Scientist Fpgas
December 10, 2024

Senior Research Scientist Formal Methods
December 9, 2024

Research Scientist Superconducting Qubit Experimental Research
December 8, 2024