Software Engineer V @Formal
Software Development
Salary competitive sal..
Remote Location
🇺🇸 USA Only
Job Type full-time
Posted 2d ago

[Hiring] Software Engineer V @Formal

2d ago - Formal is hiring a remote Software Engineer V. 💸 Salary: competitive salary and stock grant 📍Location: USA

This description is a summary of our understanding of the job description. Click on 'Apply' button to find out more.

Role Description

You’ll work closely with the Formal Methods team to build a compiler for a new Rust-like language to run in kernel space. You'll spend lots of time writing Rust to formal specifications, proposing architectural or implementation ideas, reviewing code, and learning from experienced teammates. In the future, you'll collaborate with the OS, Networking, and Security teams to integrate the language into production environments.

  • Implement compiler(s) in Rust according to specifications
  • Collaborate actively with the Formal Methods team
  • Participate in both sides of code reviews
  • Write software to continuously test and verify correctness
  • Actively document your code, process, and ideas
  • Collaborate and co-design with OS, Networking, and Security teams to integrate the language into production
  • Actively anticipate and communicate future roadblocks

Qualifications

  • 2+ years of software engineering experience
  • Extensive experience writing Rust and ideally C
  • Understanding of system-level concerns such as binary formats, loading, ABIs, linking, and machine targets
  • Understanding of and experience with compilation: lexing, parsing, type checking and other analyses, code generation
  • Some understanding of type systems and logic systems: formal specification, design, implementation, and trade-offs
  • Ability to translate language specifications into code
  • High level of independence and autonomy
  • Ability and willingness to document, teach, and explain complex technical problems and solutions

Benefits

  • Compensation includes a competitive salary and stock grant (>= 0.1%) with vesting
  • Unlimited paid vacation
  • Reimbursable vacation expenses (travel/lodging up to $1k)
  • Triennial $4k device allowance
  • Comprehensive health insurance
  • $120/month gym allowance
  • $250/year for educational expenses
Before You Apply
🇺🇸 Be aware of the location restriction for this remote position: USA Only
Beware of scams! When applying for jobs, you should NEVER have to pay anything. Learn more.
Software Engineer V @Formal
Software Development
Salary competitive sal..
Remote Location
🇺🇸 USA Only
Job Type full-time
Posted 2d ago
Apply for this position Unlock 73,508 Remote Jobs
🇺🇸 Be aware of the location restriction for this remote position: USA Only
Beware of scams! When applying for jobs, you should NEVER have to pay anything. Learn more.
Apply for this position Unlock 73,508 Remote Jobs
×
  • Unlock 73,508 hidden remote jobs.
  • Your shortcut to remote work. Apply before everyone else.
  • Click and apply. No middlemen, no hassle.
  • Filter by location/skills/salary…
  • Create custom email alerts
Unlock All Jobs Now