Надим Кобейси является основателем и генеральным директором Capsule, директором Symbolic Software, автором Verifpal и ведущим Cryptography FM. В качестве директора Symbolic Software, парижской консалтинговой компании в области прикладной криптографии, я управляю небольшой командой, которая предлагает услуги по аудиту безопасности, проектированию криптографических протоколов и формальной верификации. Мой основной фокус - аудит криптографии и разработка Verifpal, автоматизированной платформы для моделирования, анализа и верификации криптографических протоколов. С момента своего основания в 2018 году Symbolic Software завершила и доставила более 200 аудитов программного обеспечения и криптографии для клиентов по всему миру. В 2018 году я защитил свою диссертацию на тему формальной верификации реальных криптографических протоколов и реализаций в INRIA Париж. Кроме того, я разработал и преподавал курс по компьютерной безопасности в Парижском кампусе Нью-Йоркского университета, где работал адъюнкт-профессором в 2018 и 2019 годах.