Scientific Software Engineer
Upload My Resume
Drop here or click to browse · PDF, DOCX, DOC, RTF, TXT
Requirements
• Ph.D. in Computer Science with focus on quantum computation/architecture/programming language/compiler, or equivalent professional experience. • Enthusiastic in building software tools for scientists especially physicists. • Experience with Python semantics, Python type hints, CPython interpreter. • Experience with at least one of the compiled languages and experienced with their type system, e.g C++, Julia, Rust, Haskell, OCamel, etc. • Experience with Static Single Assignment intermediate representations-based compiler development. • Knowledge of the full lifecycle of software development, including version control, code review, testing, CI/CD, logging, profiling, debugging, and documentation. • Knowledge of quantum computing basics, e.g., common quantum algorithms, quantum information theory basics. • Experience with using LLVM or MLIR for compiler development, or experience with an existing compiler development • Programming language design, especially programming language theory • Quantum program optimization, e.g quantum circuit simplification, scheduling, routing, etc. • Quantum error correction • Contribution to existing open-source libraries • Experience with existing circuit simulation tools, e.g, cirq, qiskit, CUDA Quantum, etc. • The approximate base salary range for this position is $102,400 - $166,400. • We consistently monitor external market data and update base salary ranges accordingly. We determine base compensation decisions on several factors, including as geographic placement, role-specific knowledge, skills, and/or experience. In addition to our base salary offerings, we also provide equity grants for all new hires.
Responsibilities
• Development and maintain QuEra’s Static Single Assignment intermediate representations-based compiler infrastructure and compiler components at various abstractions used by our hardware engineers and scientists. • Design novel domain specific languages specific to our hardware as well as Bloqade SDK together with the team. • Integrate existing simulation tools with the compiler pipeline and cloud service. • Communicate and collaborate with QuEra scientists and external customers to meet their use case requirements.