We use cookies and other tracking technologies to improve your browsing experience on our site, analyze site traffic, and understand where our audience is coming from. To find out more, please read our privacy policy.

By choosing 'I Accept', you consent to our use of cookies and other tracking technologies.

We use cookies and other tracking technologies to improve your browsing experience on our site, analyze site traffic, and understand where our audience is coming from. To find out more, please read our privacy policy.

By choosing 'I Accept', you consent to our use of cookies and other tracking technologies. Less

We use cookies and other tracking technologies... More

Login or register
to apply for this job!

Login or register to start contributing with an article!

Login or register
to see more jobs from this company!

Login or register
to boost this post!

Show some love to the author of this blog by giving their post some rocket fuel 🚀.

Login or register to search for your ideal job!

Login or register to start working on this issue!

Engineers who find a new job through Functional Works average a 15% increase in salary 🚀

Conduent

Language Engineer

Raleigh, NC, US

28 November, 2018

Salary

Competitive

Contract type

Full time

Technologies & frameworks

  • Haskell
  • OCaml

Benefits & perks

  • Flexible working
  • 401(k)
  • 401k
  • Health care
  • Pto
  • Balance
  • Family support
  • Professional development

To sum it up...

We are looking for a software engineer with experience in Haskell or OCaml located in Raleigh, North Carolina

Role overview

Who we are

We are a global enterprise with lines of business across multiple states and federal agencies in the United States. We are looking to implement our strategy of enabling our internal and external applications with a distributed ledger (a blockchain) to help deliver value to our customers. 

About you

You love to work with type systems and have recently implemented a version of System F or have written an extraction tool for Coq/F*. Just so we complete the requirements list, you like programming in Haskell, OCaml or Scala and are comfortable in working in a fast-paced environment. 

What we are looking for

A strong background in type theory and implementing type systems in either OCaml or Haskell. We are setting up a center of excellence in providing block chain solutions to enterprises. We are looking for programming language experts to help us translate our requirements into verifiable smart contracts in a variety of target smart contract DSLs. At this point we think this requires Coq or F*, though you will have a say in what really fits the needs for our customers. 

Summary

This is a great opportunity for you to continue doing what you love. 

Minimum Qualifications

  • Advanced degree in Computer Science with a specialization in programming languages and type systems.  
  • 5 – 8 years of experience in maintaining compilers, interpreters or code generators. 
  • The ideal candidate will be great to work with, have a well-rounded view of software development, will be an excellent coach and can help us cut through the hype around block chain. 
  • 250+

Conduent is the world's largest provider of diversified business process services with leading capabilities in transaction processing, automation, analytics and constituent experience. We work with both government and commercial customers in assisting them to deliver quality services to the people they serve. We manage interactions with patients and the insured for a significant portion of the U.S. healthcare industry. We are the customer interface for large segments of the technology industry and the operational and processing partner of choice for public transportation systems around the world. Whether it's digital payments, claims processing, benefit administration, automated tolling, customer care or distributed learning - Conduent manages and modernizes these interactions to create value for both our clients and their constituents. Learn more at www.conduent.com.

  • Technology
  • Private
  • Data Science
  • IOS
  • R
  • Android
  • 401(K)
  • 401K
View 11 jobs
Engineers who find a new job through Functional Works average a 15% increase in salary.

Salary

Competitive

Contract type

Full time

Technologies & frameworks

  • Haskell
  • OCaml

Benefits & perks

  • Flexible working
  • 401(k)
  • 401k
  • Health care
  • Pto
  • Balance
  • Family support
  • Professional development

Other roles that might interest you

Site Reliability Engineer
Conduent
Competitive
We are looking for a Site Reliability Engineer located in Raleigh, North Carolina
Director of Engineering
TQ Tezos
Competitive
Build a best-in-class technical ecosystem of tools and services for on a top tier protocol
Senior Software Engineer
TQ Tezos
Competitive
Build smart contract based products for the real world on a leading blockchain protocol
Language Engineer