Modelling logic and correctness by construction is paramount to us. We aim to express what must be true, prevent invalid states, and keep systems pristine even as they grow.
Thus, we’re looking for highly ambitious engineers who can tackle difficult problems and think precisely. You must be able to make assumptions explicit and use formal, structured reasoning to reach a solution, and explain why it is correct. Typically, strong background in mathematics is a key foundation for this kind of work. We also place a high value on thoroughness and perfectionism.
Tooling wise, we rely heavily on type systems & functional programming.
Members only · Free to join
See every requirement, the benefits, exactly how to apply and who you would be working for.
Free forever No credit card 30-second sign-up
এই চাকরির জন্য বিজ্ঞাপনদাতা ব্যক্তি/প্রতিষ্ঠান আপনার কাছ থেকে কোন অর্থ চাইলে কিংবা নিয়োগ প্রক্রিয়া চলাকালীন কোন প্রকার হয়রানিমূলক (শারীরিক/মানসিক) আচরণ করলে অতিসত্বর আমাদেরকে জানান অথবা জবটি রিপোর্ট করুন। চাকরি পাওয়ার জন্য কোন ব্যক্তি/প্রতিষ্ঠানকে অর্থ প্রদান করবেন না। চাকরিকালীন কোন প্রকার হয়রানির (শারীরিক/মানসিক) সম্ভাবনা থাকলে সেখানে জয়েন করবেন না। কোন প্রকার অর্থ লেনদেন বা নিয়োগদাতা কর্তৃক হয়রানির দায়িত্ব Chakrie বহন করবে না।
Tell us at once if the advertiser asks you for money, or behaves in any harassing (physical or mental) way during hiring — or report the job. Never pay anyone to get a job. Do not join anywhere you see a risk of harassment. Chakrie takes no responsibility for money changing hands, or for harassment by an employer.