Staff Software Engineer

Location

United States

Posted

3 days ago

Salary

$175K - $250K / year

Seniority

Lead

Job Description

Staff Software Engineer

Formal

Role Description You’ll lead the development of a new, Rust-like programming language intended to run in kernel-space. Expect to write and review design documents, implementation decisions, lots of code, machine-checked proofs, and LaTeX specifications. - Develop an existing compiler codebase and software to continuously test and verify its correctness - Formally verify language properties and implementations - Collaborate and co-design with OS and networking teams to tightly integrate the language into the overall product - Participate in both sides of code reviews - Actively anticipate and communicate future roadblocks - Participate in the open-sourcing of the language Qualifications - 3+ years of software engineering experience - Deep understanding of type systems and logic systems: formal specification, design, implementation, and trade-offs - Experience with formal programming language semantic specifications, proofs, and ability to translate them into code - Experience with formal verification including model checking, theorem provers and SMT-based approaches - Understanding of system-level language concerns such as binary formats, loading, ABIs, linking, and machine targets - Mastery of or ability to quickly master Rust - High level of independence and autonomy - Ability and willingness to document, teach, and explain complex technical problems and solutions Benefits - Compensation is comprised of a competitive market salary and stock grant (>= 0.4%) conditioned on a vesting schedule - Unlimited paid and unpaid vacation time - Reimbursable vacation expenses (transportation and lodging up to $1k) - A triennial $4k computing device allowance - Comprehensive medical, dental, and vision insurance - $120 monthly gym allowance - $250 yearly to spend on anything educational

Related Job Pages

More Software Engineer Jobs

Full TimeRemoteTeam 201-500Since 2015H1B No Sponsor

• Administer, install, configure, upgrade, and maintain IBM z/OS mainframe environments, including CICS Transaction Server, IBM MQ, and related software products • Perform software installations, migrations, upgrades, patching, and implementation activities across multiple mainframe environments • Troubleshoot and resolve system abends, outages, and performance issues using logs, traces, dumps, and monitoring tools • Manage IBM MQ environments, including queue managers, queues, channels, backup processing, and web services administration • Monitor and tune system and middleware performance to ensure availability, reliability, and operational efficiency • Support secure and compliant system operations in accordance with cybersecurity and enterprise security requirements • Develop and execute implementation plans, test plans, recovery plans, and back-out procedures for software and hardware changes • Coordinate change management, incident management, CAB activities, and cross-functional implementation efforts using approved operational processes and tools • Create and maintain technical documentation, standard operating procedures, implementation guides, root cause analysis reports, and status updates • Utilize SMP/E, JCL, TSO/ISPF, REXX, CLIST, COBOL, and related IBM utilities to support administration, automation, and system operations • Support backup, recovery, and disaster recovery planning, testing, and execution • Provide technical guidance, mentoring, training, and customer support to project teams, junior staff, and stakeholders • Collaborate with infrastructure, cybersecurity, application, and operations teams to ensure stable and secure mainframe services

United States
Full TimeRemoteTeam 5,001-10,000Since 1995H1B No Sponsor

• Contribute to developing cloud security blueprints for the Google Cloud Platform that incorporate security best practices used by the world’s largest companies. • A blueprint is a package of deployable, reusable modules and policies that implements and documents a specific security solution. • Development work is conducted on open-source projects.

Brazil
Full TimeRemoteTeam 5,001-10,000Since 1995H1B No Sponsor

• Contribute to develop cloud security blueprints for the Google Cloud Platform • Work on security best practices used by major companies • Involve in development work on open source projects

Brazil
GitLab logo

Director of Engineering – Growth & Monetization

GitLab

GitLab, founded in 2011 and based in San Francisco, California, maintains a distributed team of professionals that work remotely across multiple continents. Git

Full TimeRemoteTeam 4,000Since 2014

• Lead the Growth and Monetization engineering organization with accountability for strategy, architecture, execution, and team health. • Drive the technical vision for self-service purchase, expansion, billing, usage visibility, budgeting, and account management experiences. • Build end-to-end workflows across quoting, ordering, provisioning, billing, invoicing, entitlements, renewals, and expansion. • Design an API-first monetization platform that is modular, scalable, and adaptable to evolving pricing and packaging models. • Develop systems that support usage- and impact-based products, including metering, rating, packaging, billing, and reporting. • Own and evolve integrations across monetization systems such as Zuora, Salesforce, and related enterprise platforms. • Partner with Enterprise Applications, Finance, Legal, Sales, Product, and Design to deliver compliant, scalable, customer-centered workflows. • Ensure high standards for reliability, auditability, controls, and operational rigor across monetization systems, including SOX-aware processes where needed. • Guide engineering initiatives that apply AI and machine learning to monetization use cases such as predictive pricing models, intelligent usage forecasting, and automated personalized billing experiences.

Canada
$203.2K - $345.6K / year