ai analyst backend bitcoin blockchain community manager crypto cryptography cto customer support dao data science defi design developer relations devops discord economy designer entry level erc erc 20 evm front end full stack gaming ganache golang hardhat intern java javascript layer 2 marketing mobile moderator nft node non tech open source openzeppelin pay in crypto product manager project manager react refi research ruby rust sales smart contract solana solidity truffle web3 py web3js zero knowledge
| Job Position | Company | Posted | Location | Salary | Tags |
|---|---|---|---|---|---|
Zilliqa | remote | $72k - $100k | |||
Dept | $54k - $100k | ||||
Chainlink Labs | Remote |
| |||
Chainlink Labs | Remote |
| |||
| Learn job-ready web3 skills on your schedule with 1-on-1 support & get a job, or your money back. | | by Metana Bootcamp Info | |||
Chainlink Labs | Remote |
| |||
Findora | Remote | $63k - $90k | |||
Maple | Remote | $72k - $75k | |||
wappier | Remote |
| |||
Chainlink Labs | Remote |
| |||
Energi Core Limited | New York, NY, United States | $84k - $93k | |||
nft42 | Remote | $49k - $67k | |||
RECUR | Toronto, Canada | $43k - $53k | |||
Chainlink Labs | Remote |
| |||
Chainlink Labs | Remote |
| |||
Chainlink Labs | Remote |
|
Zilliqa
$72k - $100k estimated
This job is closed
Role
We are looking for an experienced software engineer with experience in building compilers, software analysis tools and language runtimes.
As senior compiler engineer, you will have the following responsibilities:
- Work on the compilation pipeline from high-level languages (Solidity, Python, etc) to functional intermediate-level representation
- Design type systems, static analyses, and optimizations
- Evolve the design of the high-level languages based on the contemporary applications
- Design passes for JIT compilation from intermediate-level languages to various back-ends
- Maintain the infrastructure for compiler development, including frameworks for randomized testing and fuzzing
- Interact with the formal methods researchers on the team to facilitate reasoning about the compiler and programs’ correctness
Responsibilities
- Identify gaps in current design of the Scilla IR and suggest improvements
- Propose new design aspects for high-level smart contract languages to be used on Zilliqa blockchain
- Lead the programming language team managing the interaction between the front-end, back-end compilers and the verification frameworks
- Keep up to date with the body of work in DeFi applications, smart contract languages, and compilers (e.g., by reading research papers and blog posts), looking for common patterns to be embodied in the language design
Requirements
- Passionate about the cryptocurrency and blockchain field.
- Computer science background
- 3+ years experience in working with compilers and language runtimes
- Good proficiency with OCaml or any other functional language (Haskell, Scala)
- Knowledge of relevant concepts: static analysis, type systems, lambda calculus and its variations, abstract interpretation, common compiler optimizations.
- Good proficiency with LLVM is a plus