Compiler Engineer

Are you the one?

Starknet is the fastest-growing network in terms of new developers joining the network. Nethermind builds many developer-facing tools that need to work seamlessly in this fast-paced blockchain. This ecosystem needs contributors with quality-mindset, capable of applying their craftsmanship and systematic creativity to improve its components. Do you have what it takes?

Responsibilities:

• R&D working culture
• Development of scalable, high availability, and low-latency architectures
• Implement optimization algorithms to improve code generation and execution efficiency.
• Collaborate with software engineers and architects to integrate compiler technologies into larger software systems.
• Analyze and debug compiler-generated code to ensure correctness
• Contribute to the documentation of compiler design, implementation, and usage.
• Participate actively in code reviews, providing valuable insights and feedback to peers.
• Opportunity to work with the top software engineers and research professionals to solve the toughest technical challenges
• Working with the latest tools and technologies
• Troubleshooting

Skills:

• Ability to implement efficient algorithms and design complex data structures
• Excellent programming skills, Go or Rust preferred but will also considerother tech stacks(e.g. Java, C++)
• Experience with compiler construction tools such as Lex, Yacc, LLVM, GCC, or similar.
• Strong understanding of compiler architecture, principles, and optimization techniques.
• Familiarity with assembly language programming and debugging.
• Ability to write clean, testable, and maintainable code without over-engineering
• An entrepreneurial nature, willing to take ownership and run toward problems
• Several years of experience in software development
• Awareness of cloud-based computing environments (eg. AWS)
• Strong computer science background, including knowledge of algorithms, data structures, and operating systems concepts.
• Effective communication skills, both written and verbal.

Nice to have:

• Performance and memory optimisations
• Awareness of blockchain / EVM / TransactionPool / JSON RPC
• Knowledge of zero-knowledge proofs (ZKPs) and their integration into Starknet or similar platforms.
• Cryptography
• Knowledge of parallel programming paradigms and techniques.
• Experience with dynamic analysis tools for performance profiling and optimization.
• Understanding of formal methods and compiler verification techniques.
• Familiarity with virtual machine architectures and execution models

Examples of projects the team has worked on:

• Transpiler from Solidity to Cairo
• Virtual Machine in Go for Cairo code
• Compiler to convert Sierra code to machine code via MLIR and LLVM
• Integration with elements of Starknet ecosystem (eg. Starknet Blockifier)