Computer Science Specialist (Theory of Computation)

Contract · Current Delhi · Hybrid

About Moleculyst

Moleculyst Ventures is a deep-tech startup building AI systems. This role sits on our core computer science team.

The role

You’ll work on the theoretical foundations behind our systems: formal languages, logic, and algorithms. Then you’ll turn that theory into working code.

What you’ll do
Design and implement parsers, grammars, and automata-based tools
Build rule-based and logic-based reasoning and verification systems
Analyze algorithms for correctness and complexity
Formalize problems precisely before building solutions
Write clean, tested, documented Python
Take part in code reviews and technical discussions

You should have
A robust grounding in Theory of Computation: automata,



regular and context-free languages, Turing machines, decidability
A solid foundation in logic: propositional and first-order logic, proofs
Strong data structures, algorithms, and complexity analysis
Fluent Python; Git and Linux
The ability to work independently in a fast-paced startup

Nice to have
Formal methods, automated reasoning, or compiler experience
SAT/SMT solvers (Z3), Prolog, or proof assistants (Lean, Coq)
Computational linguistics or semantic parsing

Education

A degree in CS or Mathematics, or equivalent demonstrated work. Robust proofs and projects matter more than degrees.

📌 Computer Science Specialist New Delhi
🏢 Moleculyst
📍 New Delhi