ZK Proof Engineer

Про нас

Axiom використовує докази з нульовим знанням, щоб увімкнути нові типи перевірених і приватних програмних програм, починаючи з криптографії та фінтех. Ми невелика, але неймовірно сильна команда, яку підтримують найкращі інвестори в криптовалюту. Ми шукаємо виняткових людей, які раді працювати над складними та вражаючими проблемами у швидкоплинному середовищі. Наш офіс знаходиться в Нью-Йорку, і ми надаємо перевагу особистій роботі в Нью-Йорку, але ми також відкриті для віддалених кандидатів.

Нещодавно ми випустили OpenVM, продуктивну та модульну структуру zkVM, створену для налаштування та розширення. OpenVM дозволяє розробникам перевіряти правильність виконання довільних комп’ютерних програм гнучким і продуктивним способом. Ми створюємо продукти з підтримкою ZK за допомогою OpenVM і підтримуємо команди, які створюють на OpenVM.

Роль

Ми шукаємо інженера ZK Proof Engineering, який буде впроваджувати та оптимізувати найсучасніший криптографічний код для генерації доказів із нульовим знанням. Ви відповідатимете за створення систем для взаємодії між низькорівневими комп’ютерними системами, як-от RISC-V ISA, фреймворками компілятора, як-от LLVM, і серверними частинами баз даних, а також за їх з’єднання з найсучаснішими системами з нульовим знанням. Роль включатиме як оптимізацію ZK-проверів, так і впровадження нових схем ZK. Ваша робота потребуватиме вибору дизайну, щоб забезпечити швидку розробку безпечних і ефективних систем.

Ми шукаємо людину з сильними навичками інженерного проектування, здатністю працювати в комплексі та мисленням щодо безпеки. Ми також цінуємо здатність робити прагматичний вибір технологій, який розширює можливості нашої невеликої команди, не додаючи зайвих витрат.

хто ти

•
Ви маєте значний досвід математики/криптографії або маєте сильні навички розв’язувати задачі та зацікавлені в доказах із нульовим знанням.

•
Ви добре володієте Rust, C/C++ або іншою подібною мовою серверної програми. Ми працюємо переважно в Rust.

•
Ви надзвичайно орієнтовані на деталі та маєте мислення щодо безпеки.

•
Ви працювали над складними програмними проектами та маєте око на продуктивність.

•
Ви чітко спілкуєтесь і цінуєте співпрацю.

•
У вас сильна схильність до дії.

•
У вас надзвичайно сильна трудова етика.

Бонуси

•
У вас є досвід роботи з такими фреймворками компілятора, як LLVM або MLIR.

•
Ви працювали з такими аспектами комп’ютерної архітектури низького рівня, як RISC-V або запрограмованими FGPA або іншим нестандартним обладнанням.

•
У вас є досвід роботи з серверними частинами бази даних, зокрема досвід планування запитів або механізмів запитів низького рівня.

•
Ви проводили дослідження в галузі математики, теоретичної інформатики або теоретичної фізики.

•
У вас є досвід роботи з низькорівневими деталями Ethereum

Ми вітаємо різноманітне походження. Деякі нетрадиційні профілі, які можуть добре підійти, включають високочастотний трейдинг, математику/фізику/комунікаційні науки та розробку обладнання.

Навіщо приєднуватися до нас?

•
Ви станете одним із перших співробітників, які зможуть приймати ключові технічні та продуктові рішення.

•
Ви працюватимете над новаторською технологією, яка може стати ключовою частиною інфраструктури криптоіндустрії.

•
Ви отримаєте конкурентоспроможну зарплату разом із капіталом.

•
Ви працюватимете та отримуватимете наставництво від виняткової команди.

Наша команда

Наші засновники Ї Сун і Джонатан Ван познайомилися під час вивчення математики в Гарварді та працювали над ZK з 2021 року. Разом вони написали деякі з найефективніших схем ZK для криптографії еліптичних кривих і зчитування даних Ethereum, перш ніж розпочати Axiom.

До Axiom Ї був професором у статистиці UChicago і захистив докторську дисертацію з математики в MIT. Раніше він був радником Gauntlet і працював у HFT-стартапі від заснування до прибуткової торгівлі. Джонатан публікував дослідження з теорії чисел у провідних математичних журналах і отримав ступінь доктора математики в університеті Чикаго.

До решти нашої невеликої, але неймовірно сильної команди входять випускники Applied Intuition, Coinbase, Color, Neon, Google і Perplexity, а також переможці з математики/CS PhD та IMO/IPhO/Codeforces. Ми з нетерпінням чекаємо співпраці з вами!

Джерело: Jobicy (https://jobicy.com/jobs/152237-zk-proof-engineer)