Software Engineer Internship, Program Analysis
r2c
Remote job description
About r2c
Our mission is to make world-class software security available to everyone. This means building program analysis tools that are open source, easy to use, powerful, and fast. It also means building a team with security expertise and a passion for great developer experiences. Most of all, it means working with honesty and respect in a diverse community of dreamers and builders. We've redefined static analysis tooling by committing to all of these, and turned our project, Semgrep, into an essential safeguard for code at Snowflake, Dropbox, and more.
About the role
As a software engineering intern at r2c, you'll work with our developers, security engineers, and academic research partners to create a tool that empowers people to enforce the standards that they care about for their code.
Along the way, you'll learn how people write secure code that lasts, as you meet developers and security professionals at organizations ranging from early-stage startups to social-media giants, and as you work with program analysis experts who are passionate about making developers' lives easier. As a member of our team, you'll be a part of the decisions that make an early-stage startup successful and your work will be critical to our mission. Every feature you build will have a measurable impact on our users' lives. We're excited to see what you do.
Perhaps the best description of this internship comes from someone who has been where you will be. One of our 2022 interns, Vivek, wrote this blog post about his experience as an intern at r2c: https://r2c.dev/blog/2022/r2c-internship-vivek/
Our goal is to competitively and fairly compensate every r2cer with a system that equally rewards those who are vocal and those who are less comfortable making demands during the final steps of the hiring process. To that end, we generate internal compensation bands that are used when discussing and negotiating salaries. We update these based on market data to make sure they're above the average for comparable roles.
We also invest in our employees' well-being and long term success with comprehensive health plans, generous vacation time, learning stipends, and more. Our benefits are for everyone, so that you're taken care of, and we work with individuals to make sure they have what they need, whether that's quiet work space, adjusted hours, or any other accommodation.
Who we are
We have people from France and the Philippines, physics and philosophy, formal methods research and full fledged corporations. We're new parents and new grads, aspiring authors and adrenaline addicts, dog lovers and dogfooders. We get together often to bike, bake, and meet up in parks. In our interactions, we believe respect and honesty go hand in hand, and prioritize both.
r2c is an equal-opportunity employer seeking a diverse range of backgrounds. We value who you are - including your cultural heritage, your socioeconomic status, your age, your race, your gender, your sexual orientation, your disabilities. We value what's vitally important to you - your family, your religion, your politics. We value what you love in this world - your music, your weekend pursuits. We believe in welcoming varied professional backgrounds, educations, and interests. If you're exceptional in your role, believe in r2c's mission, and treat r2c's values as your own, you belong here.
You will need working proficiency and communication skills in verbal and written English. We work as a hybrid on-site / remote organization. r2c primarily works in the Pacific, Eastern, and Central EU time zones.
Summary
Company name: r2c
Remote job title: Software Engineer Internship, Program Analysis
Job tags: Static Timing Analysis, Open Source Software, Program Analysis
Our mission is to make world-class software security available to everyone. This means building program analysis tools that are open source, easy to use, powerful, and fast. It also means building a team with security expertise and a passion for great developer experiences. Most of all, it means working with honesty and respect in a diverse community of dreamers and builders. We've redefined static analysis tooling by committing to all of these, and turned our project, Semgrep, into an essential safeguard for code at Snowflake, Dropbox, and more.
About the role
As a software engineering intern at r2c, you'll work with our developers, security engineers, and academic research partners to create a tool that empowers people to enforce the standards that they care about for their code.
Along the way, you'll learn how people write secure code that lasts, as you meet developers and security professionals at organizations ranging from early-stage startups to social-media giants, and as you work with program analysis experts who are passionate about making developers' lives easier. As a member of our team, you'll be a part of the decisions that make an early-stage startup successful and your work will be critical to our mission. Every feature you build will have a measurable impact on our users' lives. We're excited to see what you do.
Perhaps the best description of this internship comes from someone who has been where you will be. One of our 2022 interns, Vivek, wrote this blog post about his experience as an intern at r2c: https://r2c.dev/blog/2022/r2c-internship-vivek/
You will:
- Design world-class pragmatic software analysis tools for security teams and developers
- Improve code analysis features (e.g. constant propagation, dataflow analysis) that provide developers with powerful but simple ways to find what they care about
- Contribute to everything from proprietary software to external open source parsers
- Learn from a peer mentor whose job is to help you succeed, and to help you get what you want out of your internship
You are ideal for this role if you:
- find compilers, programming languages, or type theory interesting
- have coded in a functional programming language (e.g. OCaml, Haskell)
- are excited about software security and developer enablement
Some example projects our previous interns have worked on include:
- Design a 1.0 syntax for Semgrep rules that is consistent and intuitive
- Implement a feature to search for variables of a specific type
- Autogenerate Semgrep rules from user-provided sample code
- Develop a solution for extracting and analyzing code embedded in other files, like bash scripts or StackOverflow pages
What we offer:
- $2,400 per week for our 10-week full-time internship
- Close 1:1 mentorship from full-time engineers on the team
- Regular feedback from your team's manager
- The option to work in-person in our San Francisco office or to work remotely in the Americas
Our goal is to competitively and fairly compensate every r2cer with a system that equally rewards those who are vocal and those who are less comfortable making demands during the final steps of the hiring process. To that end, we generate internal compensation bands that are used when discussing and negotiating salaries. We update these based on market data to make sure they're above the average for comparable roles.
We also invest in our employees' well-being and long term success with comprehensive health plans, generous vacation time, learning stipends, and more. Our benefits are for everyone, so that you're taken care of, and we work with individuals to make sure they have what they need, whether that's quiet work space, adjusted hours, or any other accommodation.
Who we are
We have people from France and the Philippines, physics and philosophy, formal methods research and full fledged corporations. We're new parents and new grads, aspiring authors and adrenaline addicts, dog lovers and dogfooders. We get together often to bike, bake, and meet up in parks. In our interactions, we believe respect and honesty go hand in hand, and prioritize both.
r2c is an equal-opportunity employer seeking a diverse range of backgrounds. We value who you are - including your cultural heritage, your socioeconomic status, your age, your race, your gender, your sexual orientation, your disabilities. We value what's vitally important to you - your family, your religion, your politics. We value what you love in this world - your music, your weekend pursuits. We believe in welcoming varied professional backgrounds, educations, and interests. If you're exceptional in your role, believe in r2c's mission, and treat r2c's values as your own, you belong here.
You will need working proficiency and communication skills in verbal and written English. We work as a hybrid on-site / remote organization. r2c primarily works in the Pacific, Eastern, and Central EU time zones.
Summary
Company name: r2c
Remote job title: Software Engineer Internship, Program Analysis
Job tags: Static Timing Analysis, Open Source Software, Program Analysis
-
location or timezone
-
category
Software Development -
posted
572 days ago
United Stateshttps://www.remote.io/remote-software-development-jobs/software-engineer-internship-program-analysis-36237