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 consider other 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)