48 Full time, Scientific jobs in Peacehaven, East Sussex

Software Engineer (Haskel...

Salary not available. View on company website.

Io Global, Can be based anywhere.

  • Full time
  • Permanent

Apply on company site

Posted today, 6 Jan

Technical Instructor (30 ...

Salary not available. View on company website.

University of Brighton, Vines Cross, East Sussex

  • Full time
  • Permanent

Apply on company site

Posted today, 6 Jan

Customer Support Speciali...

Salary Not Specified

Boeing Company, Burgess Hill, West Sussex

  • Full time
  • Temporary

Apply on company site

Posted 1 day ago, 5 Jan

Get new jobs for this search by email

Full time Scientific jobs Peacehaven, East Sussex

Pathology Environment Hea...

Salary not available. View on company website.

University Hospitals Sussex NHS Foundation Trust, Kemp Town, The City of Brighton and Hove

  • Full time
  • Permanent

Apply on company site

Posted 2 days ago, 4 Jan

Research Fellow in Experi...

Salary not available. View on company website.

University Of Sussex, Kemp Town, The City of Brighton and Hove

  • Full time
  • Temporary

Apply on company site

Posted 2 days ago, 4 Jan

Nuclear Medicine Technolo...

Salary not available. View on company website.

University Hospitals Sussex NHS Foundation Trust, Kemp Town, The City of Brighton and Hove

  • Full time
  • Permanent

Apply on company site

Posted 2 days ago, 4 Jan

Sr. Security Researcher (...

Salary not available. View on company website.

CrowdStrike, Inc., Can be based anywhere.

  • Full time
  • Permanent

Apply on company site

Posted 2 days ago, 4 Jan

Benchtop Confocal Microsc...

Salary not available. View on company website.

Oxford Instruments Plc, Can be based anywhere.

  • Full time
  • Permanent

Apply on company site

Posted 2 days ago, 4 Jan

Statistical Programmer

Salary not available. View on company website.

ICON PLC, Can be based anywhere.

  • Full time
  • Permanent

Apply on company site

Posted 2 days ago, 4 Jan

Revenue Analyst - UK - Ho...

Salary not available. View on company website.

Worldwide Clinical Trials, Inc., Can be based anywhere.

  • Full time
  • Permanent

Apply on company site

Posted 2 days ago, 4 Jan

Clinical Registry Adminis...

Salary not available. View on company website.

ICON PLC, Can be based anywhere.

  • Full time
  • Permanent

Apply on company site

Posted 2 days ago, 4 Jan

Senior AI Technical Proje...

Salary not available. View on company website.

Erek Daily Alerts - Turnitin, Can be based anywhere.

  • Full time
  • Permanent

Apply on company site

Posted 3 days ago, 3 Jan

Technical Sales Executive...

Salary not available. View on company website.

Vacgen Ltd, Lower Dicker, East Sussex

  • Full time
  • Permanent

Apply on company site

Posted 5 days ago, 1 Jan

Specialist Biomedical Sci...

Salary not available. View on company website.

University Hospitals Sussex NHS Foundation Trust, Haywards Heath, West Sussex

  • Full time
  • Permanent

Apply on company site

Posted 6 days ago, 31 Dec

Contracts Specialist

Salary not available. View on company website.

ICON PLC, Can be based anywhere.

  • Full time
  • Permanent

Apply on company site

Posted 1 weeks ago, 29 Dec

Specialist Biomedical Sci...

Salary not available. View on company website.

East Sussex Healthcare NHS Trust, Eastbourne

  • Full time
  • Permanent

Apply on company site

Posted 1 weeks ago, 28 Dec

Biostatistician

Salary not available. View on company website.

ICON PLC, Can be based anywhere.

  • Full time
  • Permanent

Apply on company site

Posted 1 weeks ago, 28 Dec

Clinical Perfusionist

Salary not available. View on company website.

University Hospitals Sussex NHS Foundation Trust, Kemp Town, The City of Brighton and Hove

  • Full time
  • Permanent

Apply on company site

Posted 1 weeks ago, 28 Dec

Co-Founder, Enabling CO2 ...

Salary not available. View on company website.

Deep Science Ventures, Can be based anywhere.

  • Full time
  • Permanent

Apply on company site

Posted 1 weeks ago, 27 Dec

Technology Field Applicat...

Salary not available. View on company website.

Arrow Electronics, Can be based anywhere.

  • Full time
  • Permanent

Apply on company site

Posted 1 weeks ago, 27 Dec
Close

Software Engineer (Haskell) Compiler - Plutus Core - IOE: Cardano

Salary not available. View on company website.

Io Global, Can be based anywhere.

  • Remote working
  • Full time
  • Permanent

Posted today, 6 Jan

Job ref: a96cb9edbee94e12a2b1833febeb2b38

Full Job Description

We invest in the unknown, applying our curiosity and desire for positive change to everything we do. By fueling creativity, innovation, and progress within our teams, our products and services are designed for people to be fearless, to be changemakers. What the role involves: The primary purpose of this role is to develop high-quality software solutions that meet customer needs. You will be responsible for writing high-quality code for our products. You will work with cutting-edge research and technology. To support you on this challenge, our products have software architects, product managers, project managers, formal methods specialists and QA test engineers, with whom you must communicate professionally, effectively and efficiently. The Plutus Core team is building the core of Cardano's smart contract functionality on the bedrock of functional programming languages. This interdisciplinary team carries out original R&D and turns the results into production systems. This team has designed and implemented four languages for Cardano smart contracts (Plinth, Plutus IR, Typed Plutus Core, and Untyped Plutus Core) and improved the compiler and runtime with more built-in functions and optimizations, expanding the expressiveness, capability and security of smart contracts on Cardano. The team has formalized the semantics of Typed and Untyped Plutus Core using Agda, developed novel compilation techniques for data types, and Implemented a compiler for compiling Plinth into Untyped Plutus Core, which uses Plutus IR and Typed Plutus Core as intermediate representations. They also implemented evaluators for Typed and Untyped Plutus Core, in Haskell and Agda. They also contributed to Cardano ledger updates for smart contracts, and published peer-reviewed research. . Coding and Development:

  • Write and maintain code in Haskell.
  • Use Git for version control, committing often, and submitting small pull requests.
  • Write clean, efficient code that meets acceptance criteria and specifications.
  • Testing and Debugging:
  • Write and execute unit, property-based, and integration tests to ensure code quality.
  • Identify and fix bugs, including emergency fixes for severity 1 issues.
  • Troubleshoot, debug, and upgrade existing software.
  • Code Reviews and CI/CD:
  • Conduct and participate in code reviews to maintain code quality.
  • Implement and manage CI pipelines using GitHub Actions, troubleshooting and improving as needed, optionally using Nix.
  • Software Architecture and Security:
  • Design and architect software components.
  • Design secure software and perform security analysis.
  • Review specifications from architects and formal methods specialists.
  • Contribute to algorithm design.
  • Documentation and Research:
  • Write clear software documentation and technical user manuals
  • Simplify complex blockchain concepts.
  • Read and comprehend research papers on cryptography and blockchain.
  • Release Management and Agile Practices:
  • Follow release processes, manage cabal project SRPs, and use GitHub Actions.
  • Split work into tickets with acceptance criteria and maintain ticket status using Jira.
  • Adhere to agile software development practices.
  • Blockchain and Distributed Systems Knowledge:
  • Understand Cardano, Blockchain, and Distributed systems.
  • Be knowledgeable in distributed and concurrent computation.
  • Collaboration and Independence:
  • Work independently on software tasks, being proactive and requiring minimal supervision.
  • Collaborate with teams across multiple time zones.
  • Integrate software components and third-party libraries.
  • Verify and deploy programs and systems.
  • Plutus Core
  • Enhance Plutus Core tooling to create a world-class product that meets diverse user needs within technical constraints of the system.
  • Collaborate with engineers and researchers to design and implement essential features for Cardano smart contract languages, compilers, and runtime systems, along with comprehensive user documentation.
  • Engage in technical discussions with peers and stakeholders to drive informed decision-making.
  • Conduct thorough code and design reviews to ensure high-quality deliverables.
  • Provide expert Plutus guidance to partner teams, ensuring alignment and knowledge sharing across projects.

    Bachelor's degree in Computer Science, or equivalent practical experience.
  • 1 year of experience with software development, data structures and algorithms.
  • Experience in programming in Haskell or another functional language
  • Experience in designing and implementing programming languages, compilers and runtime systems
  • Exposure to blockchain and UTXO-based ledgers would be a bonus
  • Strong English communication skills, in both speaking and writing
  • Carrying out software development tasks independently
  • Leading by example to build a culture of craftsmanship and innovation
  • Writing documentation for code and technical user manuals

    IOHK, is a technology company focused on Blockchain research and development. We are renowned for our scientific approach to blockchain development, emphasizing peer-reviewed research and formal methods to ensure security, scalability, and sustainability. Our projects include decentralized finance (DeFi), governance, and identity management, aiming to advance the capabilities and adoption of blockchain technology globally.

    Remote work
  • Laptop reimbursement
  • New starter package to buy hardware essentials (headphones, monitor, etc)
  • Learning & Development opportunities
  • Competitive PTO
  • Facebook

Direct job link

www.jobs24.co.uk/job/software-engineer-haskell-compiler-plutus-core-ioe-124427314
Displaying results 1 to 20 of 48 found