Summary:

Are you passionate about advanced programming language design and development to meet new challenges in artificial intelligence (AI) architectures and systems? We are seeking a senior level scientist with demonstrated expertise in programming language design; complier development; and embedded domain-specific languages (DSLs). In this position, you will collaborate with and lead teams of AI scientists, software engineers, and domain subject matter experts. You will advance the state of the art in research areas such as compilation to advanced runtime systems, reflection, continuously monitored expressions, concurrency, and compiler optimization.

You will apply this research to immediate and real-world challenges for military, intelligence, and commercial customers such as DARPA, IARPA, AFRL, ARL, and ONR. To support future growth, you will identify and pursue new research directions and business opportunities that meet your research interests, lead projects, and establish new research areas within these fields.

Recent related Charles River Analytics news and efforts:

Keynote on the future of probabilistic programming Dr. Avi Pfeffer, Charles River Analytics’ Chief Scientist (https://www.cra.com/company/news/latest-probabilistic-programmingbr-charles-river-analytics-dr-avi-pfeffer-delivers)

Probabilistic extensions for Systems Modeling Language in ProbSysML (https://www.cra.com/work/case-studies/probsysml)

Explainable deep learning in CAMEL (https://www.cra.com/work/case-studies/camel)

Probabilistic modeling for autonomous Naval technologies in PRINCESS (https://www.cra.com/work/case-studies/princess)

Areas to be Explored:

• Compilation to advanced runtime systems such as
  • Rule-based systems
  • Graphical probabilistic models
  • Deep neural net (DNN) architectures
• Reflection
• Continuously monitored expressions
• Concurrency and parallelism
• Probabilistic programming languages
• Hygienic macros
• Compiler optimization for embedded robotic systems

Major Responsibilities/Activities:

• Analyze and understand customer problems and issues to convert these insights into system requirements
• Pursue novel technologies to implement solutions, including establishing new areas of research
• Present innovative technical solutions at briefings, workshops, and conferences to customers, collaborators, and the research community
• Work with experienced software engineers to develop and implement solutions
• Conduct technical discussions with customers
• Write and contribute to proposals, reports, and research papers

Minimum Requirements:

• U.S. Citizenship
• Doctorate degree in Computer Science (or a related field) with a focus on Programming Languages or a strong track record conducting research in these areas
• Strong verbal and written skills to support proposal writing, interaction with customers, and presentations at technical conferences
• Significant experience with programming language design, complier development, and embedded domain-specific languages (DSLs) and one or more sub-fields

Benefits:

Charles River Analytics offers competitive compensation plus bonus and profit-sharing, with an attractive benefits package including: 100% employer-paid medical and dental insurance, as well as vision, life and disability insurance, paid maternity/paternity leave, tuition reimbursement, monthly gym allowance, free parking, generous paid time off, and a casual environment. We are also accessible by public transportation.