Software Engineer V

Job not on LinkedIn

🔥 0 minutes ago

🇺🇸 United States – Remote

💵 $100k - $175k / year

⏰ Full Time

🟢 Junior

🟡 Mid-level

🧑‍💻 Full-stack Engineer

🚫👨‍🎓 No degree required

👻 Ghost score 0%

What it means: the chance that no one is really hiring for this job.How to read it: 60% or higher means we think this is a ghost. Lower scores are less of a worry.How we score it: age, reposts, open roles vs team size, how fast jobs close, and whether pay is listed.Fine print: an estimate from public data, not a judgment of the company. Real jobs can score high, so treat it as a hint, not a fact.

Apply Now

Find Similar Remote Jobs

Formal

WebsiteLinkedInAll Job Openings

11 - 50 employees

🔒 Cybersecurity

🔌 API

🏢 Enterprise

Cybersecurity • API • Enterprise

Formal is a protocol-aware reverse-proxy for datastores and APIs that helps security teams understand and control their data. It empowers teams to manage data flows in real-time and enforce access policies effectively, addressing the complexities and vulnerabilities within modern data stacks. Formal integrates with various tools to streamline data protection processes, enabling organizations to implement security policies that align with their operational needs, all while maintaining high availability and enterprise-grade security controls.

📋 Description

• 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 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 • Build a compiler for a new Rust-like language to run in kernel space • Propose architectural or implementation ideas • Learn from experienced teammates

🎯 Requirements

• 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

• 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 • Competitive salary

📊 Check your resume score for this job

Improve your chances of getting an interview by checking your resume score before you apply.

Upload Resume