Job Description :
Hello,
This is with Conduent Business Services, I am trying to get in touch with you for a job opportunity, please go through below Job description & kindly let me know if you are interested to learn more about this position.
About Conduent
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.
Position Description:
Software Engineer II (Programming Languages)
Morrisville, NC
Fulltime Job
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.
· Write code that has few or no side effects
· Knowledge of functional programming paradigms and a passion to implement products using one of these languages: Haskell, Haxe, Rust, Elm and OCaml or ML.
· Work in a fast-paced group that practices the principles of agile software development:
· delivering software over documentation
· collaboration over process and tools
· a team of talented peers that hold daily standups, do retrospectives and plan Sprints
· a continuous integration/continuous delivery framework for releasing software
· 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.