سافٹ ویئر انجینئر، ڈیٹا پلیٹ فارم
Nym
Nym کے ہیلتھ کیئر کوڈنگ انجن کے لیے AWS ڈیٹا پائپ لائنز اور پلیٹ فارم انفراسٹرکچر بنائیں۔ مریضوں کے ڈیٹا پر کام کرنے والے سسٹمز کی ترسیل، مشاہدہ پذیری، قابلِ اعتماد کارکردگی اور سیکیورٹی مضبوط کریں۔
کھولیں
1 – 10 ملازمین
ہارڈ ویئرYosysHQ ہارڈویئر انجینئرنگ کے لیے Yosys اور اس سے متعلق اوپن سورس الیکٹرانک ڈیزائن آٹومیشن (EDA) منصوبے تیار کرتی ہے۔ کمپنی اوپن سورس ٹولنگ کو تجارتی مصنوعات اور خدمات کے ساتھ یکجا کرتی ہے، جو الیکٹرانکس ٹیموں کو ڈیجیٹل ہارڈویئر ڈیزائن کے ورک فلو بہتر بنانے میں مدد دیتی ہیں۔ اسی لیے ہارڈویئر ڈیولپمنٹ اور EDA کے مختلف شعبوں میں کام کرنے والے پیشہ ور افراد کے لیے یہ متعلقہ ہے۔
Synthesis یا Formal Verification Developer — YosysHQ، Austria Remote
YosysHQ میں اوپن سورس EDA ڈویلپر کے طور پر synthesis یا formal verification ٹولز پر کام کریں۔ ہارڈویئر ڈیزائن اور verification منصوبوں میں C++، Rust اور Python کے ذریعے آزادانہ ڈویلپمنٹ کی ذمہ داری ہوگی۔
تفصیل
- YosysHQ کے synthesis یا formal verification کے کام میں معاونت کریں
- C++، Rust اور Python میں EDA ٹولز تیار اور برقرار رکھیں
- ہارڈویئر ماڈل چیکنگ، formal methods، RTL/ASIC synthesis یا متعلقہ ورک فلو نافذ کریں
- انجینئرنگ اور سائنسی سافٹ ویئر بنائیں، تحقیقی لٹریچر سے الگورتھمز نافذ کریں یا compiler منصوبوں میں حصہ لیں
- ایک بڑے موجودہ اوپن سورس کوڈ بیس کو سمجھیں اور اس میں حصہ ڈالیں
- تفویض کردہ کام کی ذمہ داری لیں اور تکنیکی مسائل آزادانہ طور پر حل کریں
- Yosys اور وسیع تر اوپن سورس EDA ecosystem کو آگے بڑھائیں
- YosysHQ کے اوپن سورس tooling میں شامل ہوں اور ممکنہ طور پر حصہ ڈالیں
تقاضے
- formal verification کے لیے C++ یا Rust میں مہارت، اور دوسری زبانوں اور Python سیکھنے کی آمادگی
- ہارڈویئر ماڈل چیکنگ نافذ کرنے سے واقفیت کو ترجیح دی جائے گی
- متبادل طور پر verification یا formal methods میں تجربہ، جس میں SAT/SMT solving، automated یا interactive theorem proving، programming language theory یا automata theory شامل ہو
- formal verification کے لیے RTL ہارڈویئر ڈیزائن سے کچھ واقفیت
- synthesis کے کام کے لیے C++ میں مہارت
- RTL ہارڈویئر ڈیزائن کا کچھ تجربہ، ترجیحاً ASICs سے متعلق
- انجینئرنگ یا سائنسی سافٹ ویئر، تحقیقی الگورتھمز کے نفاذ یا compiler development کا متعلقہ تجربہ
- کسی بڑے موجودہ منصوبے میں خود کام کا طریقہ سمجھنے کا تجربہ
- تفویض کردہ ذمہ داریاں سنبھالنے اور محدود نگرانی میں آزادانہ کام کرنے کی صلاحیت
- ایسے ملک میں مقیم نہ ہوں جو پابندیوں یا export restrictions کے تحت ہو، اور امریکی حکومت کے لیے کام کرنے سے ممانعت نہ ہو
- درخواست کے لیے CV اور مختصر cover letter درکار ہے
مراعات
- لچکدار انتظامات کے ساتھ remote work
- لچکدار اوقاتِ کار
- ہفتے میں ایک سے پانچ دن تک part-time schedule
- تمام ٹیم ممبران کے لیے یکساں شرح پر مبنی flat pay structure
- اپنی پسند کی جگہ سے کام کرنے کی سہولت
- ٹیم میٹنگز عموماً ویانا کے وقت کے مطابق سہ پہر 3 بجے سے 6 بجے کے درمیان ہوتی ہیں، جبکہ اس وقت کے باہر لچک موجود ہے
متعلقہ نوکریاں
پرنسپل مشین لرننگ انجینئر، جنریٹو اے آئی (ریموٹ، امریکہ)
Lifelancerایمجِن کے بایوٹیک ادویات کے کاروبار کے لیے ایل ایل ایم، ایجنٹک اے آئی اور مشین لرننگ کے تصوری ثبوت کے منصوبوں کی قیادت کریں۔ تصدیق شدہ حل کو ادارے کے لیے تیار ایپلی کیشنز میں بدلیں۔
کھولیں
سینئر مشین لرننگ اور اے آئی انجینئر
Ambush
Ambush کے مالیاتی خدمات کے کلائنٹس کے لیے پروڈکشن کے قابل جنریٹو اے آئی اور ایجنٹ ورک فلو بنائیں۔ Python اور FastAPI سروسز، SQL ڈیٹا ورک فلو، ریٹریول اَگمینٹڈ جنریشن اور کلاؤڈ پر مبنی اے آئی سسٹمز تیار کریں۔
کھولیں
سینئر سافٹ ویئر انجینئر، مشین لرننگ
GFN
جرمنی کے تعلیمی ادارے GFN کے لیے بیک اینڈ انفراسٹرکچر اور AI سے تقویت یافتہ تعلیمی مصنوعات بنائیں۔ مضبوط سافٹ ویئر آرکیٹیکچر اور عملی مشین لرننگ پر توجہ دیتے ہوئے قابلِ توسیع تعلیمی پلیٹ فارم تیار کریں۔
کھولیں
اے آئی انجینئر، ایل ایل ایم ایجنٹس
Upwind Securityاپ وِنڈ سیکیورٹی کے کلاؤڈ سیکیورٹی پلیٹ فارم کے لیے ایل ایل ایم ایجنٹس تیار اور تعینات کریں۔ رن ٹائم خطرات کی تحقیقات اور تدارک کے لیے خودکار ورک فلو پر تحقیق، جانچ اور تعمیر کریں۔
کھولیں
ریموٹ ڈیٹا پروگرام پروجیکٹ مینیجر — واشنگٹن
TEKsystems
ریاست ہائے متحدہ امریکہ
واشنگٹن$65 – $75 / گھنٹہ
ریموٹمعاہدہدرمیانی سطحسینئرمطلوبہ زبان: انگریزیڈیٹا سائنس دانTEKsystems کے لیے انٹرپرائز ڈیٹا اقدامات، رپورٹس کی منتقلی، اور نئے طریقۂ کار و رپورٹنگ حل اپنانے میں رابطہ کاری کریں۔ کاروباری اور تکنیکی متعلقہ فریقوں کے ساتھ منصوبے کی پیش رفت، خطرات، قابلِ فراہمی کام اور ابلاغ پر نظر رکھیں۔
کھولیں
ریموٹ ڈیٹا پروجیکٹ مینیجر
TEKsystemsریاست ہائے متحدہ امریکہواشنگٹن$65 – $75 / گھنٹہ
ریموٹمعاہدہدرمیانی سطحسینئرمطلوبہ زبان: انگریزیڈیٹا سائنس دانTEKsystems کے انٹرپرائز ڈیٹا پروگرامز سنبھالیں، جن میں گورننس، رپورٹس کی منتقلی، صارفین کی اپنانے کی تیاری اور ٹیموں کے درمیان رابطہ کاری شامل ہے۔ یہ سیئٹل، واشنگٹن میں مقیم مکمل ریموٹ معاہداتی عہدہ ہے۔
کھولیں
ریموٹ ڈیٹا پروجیکٹ مینیجر (غیر تکنیکی)
TEKsystemsریاست ہائے متحدہ امریکہواشنگٹن$65 – $75 / گھنٹہ
ریموٹمعاہدہدرمیانی سطحسینئرمطلوبہ زبان: انگریزیڈیٹا سائنس دانTEKsystems کے لیے انٹرپرائز ڈیٹا کے اقدامات میں ہم آہنگی کریں۔ ٹیموں میں اختیار، رپورٹنگ کی منتقلی، گورننس اور کام کی تکمیل میں معاونت کریں۔
کھولیں
سینئر iOS انجینئر، AI اوّل
OPENLANE
کینیڈاریاست ہائے متحدہ امریکہ$125,000 – $165,000 / سال
ریموٹکل وقتیسینئرمطلوبہ زبان: انگریزیاے آئی انجینئرمشین لرننگ انجینئرOPENLANE کی ڈیجیٹل گاڑیوں کی مارکیٹ پلیس میں خریداروں اور فروخت کنندگان کے لیے AI کی مدد سے iOS ایپس بنائیں۔ SwiftUI اور UIKit آرکیٹیکچر، ٹیسٹنگ، ریلیزز اور Android و دیگر ٹیموں کے ساتھ تعاون کی رہنمائی کریں۔
کھولیں
سینئر ڈیٹا سائنس دان اور اے آئی انجینئر (برازیل، ریموٹ)
AmbushAmbush کے لیے پروڈکشن مشین لرننگ ماڈلز اور LLM ایپلی کیشنز بنائیں۔ اہم کلائنٹس کی ضروریات کے لیے RAG، ملٹی ایجنٹ اور ریئل ٹائم اے آئی حل فراہم کریں۔
کھولیں