About this role

We are seeking a seasoned Senior Front-end Engineer to join our multi-strategy hedge fund team. The ideal candidate will have a proven track record of building web applications from the ground up (zero to one experience) and a deep understanding of modern front-end technologies. The role demands an individual passionate about technology, thriving in challenging situations, and eager to drive advancements in the hedge fund landscape.

Key Responsibilities

• Develop, maintain, and optimize backend systems and applications.
• Collaborate and communicate effectively with team members.
• Mentor and guide Junior Engineers, emphasizing best practices.
• Work independently, demonstrating a strong sense of ownership and self-drive.
• Be versatile and ready to take on various roles as required.
• Demonstrates strong ownership, able to address production issues promptly and communicate the resolution process confidently to stakeholders without panicking.

Requirements

• Bachelors' or above in Computer Science, a related field, or equivalent professional experience.
• At least 7 years of experience in building web applications in a modern front-end stack like React.js/Redux/Node.js.
• Deep experience with Node.js, TypeScript, JavaScript , HTML/CSS and RESTful APIs.
• Deep experience with React.js and its lifecycles and hooks.
• Strong experience with agile processes, testing, CI/CD and production error/metrics monitoring.
• Eager and willing to learn new things. Staying up to date with the latest technologies.
• Ability to think through architectural problems, find reasonable solutions, and work with other members to build them.
• A keen eye for design and detail to deliver joyous experiences to our end-users.
• Self-driven with a strong sense of ownership & bias for action.
• Being a team player is key. We are a small but growing team, and we believe in building an environment that fosters a sense of belonging for all of our employees.
• Be present at the office at least 4 times a week.

Nice-to-Haves

• Familiarity with finance and trading domain, particularly in multi-strategy hedge funds, is a significant plus.
• Experience working in full-stack development including but not limited to server-side programming, RESTful API / GraphQL development, etc.
• Experience working with CI/CD pipelines, infrastructure as code, AWS/GCP, CDNs, etc.
• Integration experience with financial systems such as Bloomberg API.
• Experience in developing complex distributed systems or building sizable applications from scratch.

About this role

We are seeking a seasoned Senior Backend Engineer to join our multi-strategy hedge fund team. The ideal candidate is proficient in Python, has strong experience in Rust or C++, and brings familiarity with one of the JVM languages. The role demands an individual passionate about technology, thriving in challenging situations, and eager to drive advancements in the hedge fund landscape.

Key Responsibilities

• Develop, maintain, and optimize backend systems and applications.
• Collaborate and communicate effectively with team members.
• Mentor and guide Junior Engineers, emphasizing best practices.
• Work independently, demonstrating a strong sense of ownership and self-drive.
• Be versatile and ready to take on various roles as required.
• Demonstrates strong ownership, able to address production issues promptly and communicate the resolution process confidently to stakeholders without panicking.

Requirements

• Minimum of 8 years of backend development experience.
• Bachelor’s degree in Computer Science, related field, or equivalent work experience.
• Strong experience in in Python (must), Rust (strong bonus), C++, one of the JVM languages (Java / Scala)
• Knowledge of Kubernetes and Microservice architecture is essential.
• A genuine interest in the capital market.
• Be present at the office at least 4 times a week.

Nice-to-Haves

• Proficiency in using AI-coding assistant tools such as Github Copilot, and the ability to leverage AI to boost productivity while being mindful of risks.
• Integration experience with financial systems such as Bloomberg API.
• Experience in developing complex distributed systems or building sizable applications from scratch.
• Experience in DevOps and Infrastructure-as-Code (IaC) tools, especially Terraform

(A) Job Description:

· Responsible for projects detail design, prototype, commissioning and testing completed systems

· Liaise with Customer and internal team members to ensure good co-ordination, planning and meeting project schedule

· Coordinate and manage factory testing in both company premises and customer’s site.

· Responsible for integration of both hardware & software work as well as implementation

· Carry out proper execution of the integration/engineering/maintenance work and QA Technical checks throughout project execution

· Handle application programme change management, hardware deployment management & documentation

· Implantation of PLC/SCADA project from concept to design and programming

· Interface with SCADA & PLC programming

· Meeting with clients, reports and documentation

· Capable of performing troubleshooting independently

(B) Job Requirement:

· At least Degree in Electrical/Electronic or related discipline

· With at least 3-5 years of experience in PLC/SCADA

· Familiar with Safety PLC programming.

· Familiar with Siemens and Schneider PLCs.

· Able to read and interpret electrical schematics, plans, drawing etc.

· Able to work under pressure, multi task and good coordination of tasks

· Good interpersonal skills, able to work both independently and in teams

To Apply:

Please submit your LATEST resumes to [email protected] with the following details in MS Word format:

- Position applying for
- Current/Last remuneration
- Expected remuneration
- Notice period

We regret that only shortlisted candidates will be notified.

Lee Keck Ying | EA License No : 06C4642 | EA Reg No : R1877544

Job Title: Field Service Engineer (Manufacturing & Repairing Company) ID9125
Location: Tuas
Working Hours: Mon-Fri 900am-600pm; Occasionally Saturday until 12pm
Basic Salary: $3800-$4200

Benefit:
*14 days AL starting with bonus and AWS

Job Description:
•Carry out site installation assistance, start-up, testing and commissioning of compressor and dryer units.
•Troubleshooting and preventive maintenance of air compressors and refrigeration dryers and equipment in relation to mechanical, electrical and pneumatic system.
•To attend service calls and routine servicing at customer site as well as to assist in supervision of production process with minimum breakdown occurrence.
•To prepare and submit repair and maintenance quotations pertaining to service and spare parts sales.
•To plan and coordinate individual service jobs weekly and daily.
•To conduct technical training to customers as necessary.

Requirement:
•At least 2 Year(s) of working experience in the air compressor service experience with class 3 driving license

About us

Our Client is a leading provider of air conditioning and refrigeration services in the region. With a reputation for excellence and a commitment to innovation, we pride ourselves on delivering tailored solutions to meet the unique needs of our diverse client base. Our talented team of service engineers are the backbone of our operations, and we are dedicated to providing them with the resources and support they need to excel in their roles.

Apply now for this exciting opportunity to join our team as a Service Engineer (Chiller) and be a part of our continued success.

What you'll be doing

• Performing scheduled maintenance and servicing on commercial chiller systems
• Troubleshooting and diagnosing any technical issues with chiller equipment
• Repairing and replacing faulty components in a timely and efficient manner
• Maintaining detailed records of all service activities and equipment performance
• Providing excellent customer service to clients and ensuring their complete satisfaction
• Collaborating with the broader team to implement new technologies and improve processes

What we're looking for

• Relevant technical qualifications in air conditioning, refrigeration or a related field
• Minimum 3 years of hands-on experience servicing and maintaining commercial chiller systems
• Strong troubleshooting and problem-solving skills to quickly identify and resolve issues
• Excellent communication and customer service skills to liaise with clients effectively
• A keen eye for detail and the ability to maintain accurate records and documentation
• A proactive, team-oriented approach and a commitment to continuous learning

Interested applicants can email your resume to [email protected]

EA Personnel : Daniel Chua

EA Licence: 14C7135

EA No: R1103353

About this role

We are looking for a Senior Data Engineer who will be the first hire dedicated to data engineering within our multi-manager hedge fund. This is a unique opportunity for someone who thrives in a zero-to-one environment, where you’ll be responsible for building and scaling our data infrastructure from scratch. The ideal candidate is passionate about data architecture and is excited to lead the effort to establish robust data systems that support both operational and investment decision-making.

Key Responsibilities

• Architect, develop, and deploy scalable data pipelines to support a multi-manager trading strategy.
• Design and manage both structured and unstructured data systems from diverse sources.
• Ensure the availability, reliability, and integrity of the firm’s data assets.
• Collaborate with portfolio managers, analysts, and developers to understand data needs and translate them into technical solutions.
• Implement data quality measures, monitoring systems, and anomaly detection for continuous improvement.
• Provide guidance on data management, governance, and best practices across the organization.
• Lead data-related projects and contribute to the strategic roadmap for the company’s data engineering capabilities.
• Act as a mentor to junior engineers as the team grows.

Requirements & Qualifications

• Proven experience in building data systems from scratch (zero-to-one experience highly valued).
• Strong knowledge of data modeling, ETL pipelines, and data warehousing techniques.
• Programming proficiency in Python, Scala, or Java.
• Hands-on experience with SQL and NoSQL databases.
• Experience with big data tools (Hadoop, Spark, Kafka) and cloud platforms (AWS, Azure,GCP).
• Familiarity with data orchestration tools like Airflow.
• Knowledge of financial data systems is a strong plus.
• Minimum 7+ years of data engineering experience, preferably in financial services or trading environments.
• Strong ability to work independently and collaborate with cross-functional teams.
• A Bachelor’s degree in Computer Science, Engineering, or a related field.
• Self-driven with a strong sense of ownership & bias for action.• Being a team player is key. We are a small but growing team, and we believe in building an environment that fosters a sense of belonging for all of our employees.
• Be present at the office at least 4 times a week.

Nice-to-Haves

• Exposure to machine learning pipelines and advanced analytics.
• Familiarity with Bloomberg API or other financial market data sources.
• Experience with data visualization tools (Tableau, PowerBI).

Job Description

• Responsible for developing crude trade activity in proportion with the financial capacity of the company
• Managing trade portfolio to achieve safe and on time shipment on our sales and purchases
• Opening new market/opportunities for trade activities
• Responsible for maintaining good business conduct and high level of business performance to counterparties
• Cooperation with Trade Finance Department to develop financial facilities to support the trading activities

Job Description

• Manage a team of technical supervisors on site to ensure that all site activities comply with the regulations and client's requirements.
• To report to C&S QP, works closely with the regulatory authorities and contractors to provide supervision on site, resolve all site issues and ensure timelycompletion of the projects.
• To be competent in carrying out supervision of structural works by identifying any non-conformity of contractor's works on site. The appointed person must havethe strong ability to interpret the drawings and contract documents on works to be carried.
• Appointed person possesses a complete understanding of local requirements, especially to comply with BCA's criteria for build-ability and safety assurancesystem.
• To carry out regular site checks on Builder and ensure compliance on health and work safety in accordance with MOM.
• To manage the site supervisors with respect to C&S engineering works, architectural and MandE engineering works.
• To attend site, progress, variation and coordination meetings Interpret drawings and contract documents on works to be carried

Requirement :

• Atleast four (4) years of relevant experience as a civil engineer, of which at least two (2) years shall be in supervision of works similar in nature to works in this Contract.
• The RE shall be an engineer in the civil/structural discipline with qualification accredited by the Commissioner of Building Control and accepted by Institute of Engineer Singapore (IES) / Association of Consulting Engineers Singapore (ACES)

We are looking for a skilled Electrical/Mechanical Quantity Surveyor to join our team in the M&E construction industry. The ideal candidate will have a strong industry network with sub-contractors, vendors, and equipment suppliers, along with a solid understanding of market price trends. This role involves managing tender processes for ACMV and electrical systems, ensuring accurate cost estimation and compliance with project requirements.

Key Responsibilities:

• Administer ACMV and electrical tenders, ensuring compliance with tendering procedures and specifications.
• Prepare and analyze tender documentation, including Bills of Quantities (BOQ) and cost estimates.
• Collaborate with project teams to develop competitive pricing strategies for tenders.
• Conduct thorough cost analyses for electrical and mechanical projects, utilizing up-to-date knowledge of market price trends.
• Prepare detailed cost breakdowns and ensure accurate forecasting of project expenses.
• Liaise with sub-contractors and suppliers to gather pricing information and validate costs.
• 
  
• Maintain a strong network with sub-contractors, vendors, and equipment suppliers to ensure access to competitive pricing and quality resources.
• Build and maintain positive relationships with key stakeholders in the industry to facilitate project success.
• Maintain comprehensive records of all tender submissions, cost estimates, and correspondence with suppliers and sub-contractors.
• Prepare regular reports on project costs, pricing trends, and market conditions for management review.
• Ensure that all tender submissions comply with relevant regulations, standards, and project specifications.
• Review and assess project documents to identify discrepancies and recommend solutions.

Qualifications:

• Minimum Diploma in Electrical/Mechanical Engineering or a related field.
• Minimum of 3 years of related experience in the M&E construction industry.
• Proven experience in managing ACMV and electrical tender processes.
• Strong understanding of cost estimation, budgeting, and financial management in construction projects.
• Proficient in preparing Bills of Quantities (BOQ) and conducting market analysis.

If you are keen to join our dynamic team, please submit your resume in either Word or PDF format to [email protected]. In your application, kindly include the following details:

• Current Salary
• Expected Salary
• Availability
• Reason for Leaving

We appreciate your interest in this opportunity. Please note that only shortlisted candidates will be contacted for further consideration.

By submitting your application or resume, you acknowledge and consent to the collection, use, retention, and disclosure of your personal information by us to potential employers through our services.

EA (23S1595/R23116355)

Job Description & Requirements

Responsibilities:

• Develop software solutions by studying information needs; conferring with users; studying systems flow, data usage and work processes; investigating problem areas; following the software development lifecycle.
• Determine operational feasibility by evaluating analysis, problem definition, requirements, solution development and proposed solutions.
• Document and demonstrate solutions by developing documentation, flowcharts, layouts, diagrams, charts, code comments and clear code.
• Prepare and install solutions by determining and designing system specifications, standards and programming.
• Improve operations by conducting systems analysis; recommending changes in policies and procedures.
• Update job knowledge by studying state-of-the-art development tools, programming techniques and computing equipment; participating in educational opportunities; reading professional publications; maintaining personal networks; participating in professional organizations.
• Protect operations by keeping information confidential.
• Provide information by collecting, analyzing and summarizing development and service issues.
• Accomplish engineering and organization mission by completing related results as needed.
• Support and develop software engineers by providing advice, coaching and educational opportunities.
• First and foremost, developing software our users need.
• Collaborate with team to brainstorm and create new products.
• Grow engineering teams by interviewing, recruiting and hiring.
• Make informed decisions quickly and taking ownership of services and applications at scale.
• Work collaboratively with others to achieve goals.
• Be a persistent, creative problem ­solver.
• Remain cool and effective in a crisis.
• Stay on the leading edge of development practices
• Passionate about great technologies, especially open source
• Understand business needs and know how to create the tools to manage them.

Requirements

• Bachelor's degree in computer science or related field.
• Minimum 3 years of programming experience.
• Broad experience designing, programming, and implementing large information systems.
• Ability to provide in-depth evaluation and analysis of unique complex technological issues.
• Excellent analytical and problem-solving skills.
• Excellent organization and time management skills.
• Excellent written and verbal communication skills.
• Demonstrated ability to lead others.
• Ability to exercise discretion and independent judgment in the performance of duties.

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

The first set of tasks will involve the following specific assignments:

• Expressing decision logic using DMN/FEEL
• Evaluating the rule engine API
• Encoding existing materials in L4 for open source distribution
• Building interactive UIs using HTML, CSS, JavaScript and Python

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML PetriNets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

We are looking for highly motivated Senior Platform Engineers who can balance the day-to-day operations of Flo’s software systems with long-term software engineering to reduce operational toil. We need engineers who enjoy constantly learning and diving deep into the wide range of systems and technologies.

About Flo

Hi, we’re Flo, and we are on a mission to switch as many people and businesses as possible to clean, renewable energy.

We do that by making clean energy as cheap as conventional energy, investing in smart technology to reduce our operating costs and passing the savings to our members. And yes, it's not impossible.

We are pushing boundaries and breaking conventions of the traditional electricity retailer. To do so, we are looking for like-minded people who share our passion for technology and sustainability. You might be the one we are looking for!

Find out more about us on https://floenergy.sg/business/about

What you will be doing:

You will be engaging with multiple service owners across the platform to teach and implement modern interpretations of Platform, automation, SRE, observability and DevOps. This role is highly visible and impactful to the organization and will help shape Flo's Engineering culture for years to come.

• Write product or system development code.
• Review code developed by other engineers and provide feedback to ensure best practices (e.g., style guidelines, checking code in, accuracy, testability, and efficiency).
• Contribute to existing documentation or educational content and adapt content based on product/program updates and user feedback.
• Triage product or system issues and debug/track/resolve by analyzing the sources of issues and the impact on hardware, network, or service operations and quality.
• Build monitoring that alerts on symptoms rather than on outages.
• Improve operational processes (such as deployments and upgrades) to make them as boring as possible.
• Participate in, or lead design reviews with peers and stakeholders to decide amongst available technologies.

You will be a good candidate if you:

• 5 years of experience with software development in one or more programming languages.
• Knowledge of Infrastructure as a Code (IaaC) technologies like Terraform
• Knowledge of standard methodologies related to security, monitoring, and disaster recovery.
• Systematic problem-solving approach with effective communication skills

Good to have

• Technical experience in production infrastructure.
• Experience troubleshooting and debugging distributed systems.
• Ability to create an inclusive environment.
• Hands-on experience with AWS Cloud (or other Clouds)
• Hands-on experience with Kubernetes (AWS EKS)
• Hands on experience with stateful applications

Culture and benefits:

• Get involved in company Digital team development from the ground up to chart the future of Flo
• Work in an open-minded and dynamic environment with an enthusiastic team
• Budget and time to take on professional development courses
• Enjoy an attractive compensation package, generous time-off and work-life balance

Equal Opportunity Employer Statement

We are committed to building diverse teams and creating an inclusive workplace that enables all our employees to perform at their best, regardless of nationality, ethnicity, religion, age, gender identity or sexual orientation. We are dedicated to creating a work environment where everyone is treated with respect and dignity, and where all employees have the opportunity to reach their full potential. We believe each individual's uniqueness is invaluable and helps make our company better.

Join a fast-growing electricity retailer that's making renewable energy accessible for all

We are looking for growth minded people who share our values and beliefs. We would love to hear from you, even if you feel unsure about meeting every requirement listed above.

Join us as our new Senior Platform Engineer!

Job Descriptions:

• Perform structural design and analysis, loading calculation and drawings for ETFE Skylight, Tensile Membrane, Structural Steel Structures.
• Able to perform Finite Element Analysis Modeling and Analysis of Structure.
• Preparation of 3D structural models and shop fabrication drawings, method statement etc.
• Work closely with architects, engineers, general contractors, fabricators and other professionals.
• Involve in supervising projects and provide progress report.
• Make sure projects meet authorities requirements.

Job Requirements:

• Minimum PhD or Masters degree in Civil and Structural Engineering or equivalent
• Minimum 2 years relevant experience in Civil and Structural Engineering design
• Proficiency with steel 3D modelling, analysis & design software such as Rhino and grasshopper.
• Proficiency with programming language especially C++ , Python and Fortran
• Able to produce detailed layout drawings
• Experience in Tensile Membrane, ETFE Skylight and Steelwork design is an advantage
• Good command of English

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts andpresentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematicallogic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modelingsoftware, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack",in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally andexternally.

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods. Fluency in multiple natural languages, and any experience with law, are a plus.

This specialist role requires skills in the following areas (one or two in each category is sufficient):

Open-Source Software & Open-Standard Infrastructure Engineering Internet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Programming Languages and Frameworks: Preferred: Haskell or OCaml. Python. Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML Petri Nets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Semantic Web and Ontologies: RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg or a commercial rules engine with ontology support

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams Parnas Tables Logics: Hoare

Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, and Epistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI Abductive Logic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded Semantics Good Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Drools Oracle Policy Manager Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Skills listed below this line are preferred but not required:

Theorem Proving and Strongly Typed Languages: CoQ Agda Idris Lean Prover F* Advanced Haskell (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs, Visual Studio Code, Atom, Sublime Text) Language Server Protocol Rule Systems and Logics

Computational Linguistics Natural Language Generation Computational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Text planning Surface realization Familiarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Parsers, Compilers, and Programming Language Theory Lex/YACC alex/happy Bison CFGs EBNF BNFC

Formal Verification and Specification Languages Some familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL CTL

App Development Test-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum Pair Programming Literate Programming Unit Testing Amazon Web Services Docker Full-Stack Development

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts andpresentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematicallogic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack",in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods. Fluency in multiple natural languages, and any experience with law, are a plus.

This specialist role requires skills in the following areas (one or two in each category is sufficient):

Open-Source Software & Open-Standard Infrastructure Engineering Internet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Programming Languages and Frameworks: Preferred: Haskell or OCaml. Python. Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML Petri Nets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Semantic Web and Ontologies: RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg or a commercial rules engine with ontology support

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams Parnas Tables Logics: Hoare

Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, and Epistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI Abductive Logic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded Semantics Good Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Drools Oracle Policy Manager Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Skills listed below this line are preferred but not required:

Theorem Proving and Strongly Typed Languages: CoQ Agda Idris Lean Prover F* Advanced Haskell (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs, Visual Studio Code, Atom, Sublime Text) Language Server Protocol Rule Systems and Logics

Computational Linguistics Natural Language Generation Computational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Text planning Surface realization Familiarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Parsers, Compilers, and Programming Language Theory Lex/YACC alex/happy Bison CFGs EBNF BNFC

Formal Verification and Specification Languages Some familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL CTL

App Development Test-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum Pair Programming Literate Programming Unit Testing Amazon Web Services Docker Full-Stack Development

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances in computational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture
• reading (and updating/commenting, relevant) existing software documentation
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done
• writing (and presenting, if so decided by the PI) academic papers and materials for publication
• documenting in a sufficiently-detailed manner so as to share what you've learned

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries
• evaluating competing software systems for suitability
• building infrastructure to enable application development
• managing yourself, and managing fellow team members
• engaging in product, project, and program management as needed
• reading books and consuming such other media forms about software development
• writing documentation such as user/developer-facing manuals, tutorials
• delivering community support to users and customers
• preparing presentations to represent the project before external audiences
• writing actual user-facing applications throughout the "full stack"

in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML Petri Nets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Semantic Web and Ontologies: RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg or a commercial rules engine with ontology support

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Drools Oracle Policy Manager Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Skills listed below this line are preferred but not required:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL CTL

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., or alternative qualifications in computer science, software engineering, (symbolic) artificial intelligence, computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML PetriNets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., or alternative qualifications in computer science, software engineering, (symbolic) artificial intelligence, computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML PetriNets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director. As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey your domain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypes for government and industry partners in the areas of computable contracts and "rules as code". Experience in requirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multiple use cases so that we can abstract across them and develop generalized, reusable infrastructure. We will work with specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases. You will work as part of a team of research engineers, developers, and domain expertise and you will be expected to actively participate in team meetings and text-based communications. You will be expected to be active members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack",in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code through community engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., or alternative qualifications in computer science, software engineering, (symbolic) artificial intelligence, computational linguistics, or formal methods. Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure Engineering

Internet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Parsers, Compilers, and Programming Language Theory

Lex/YACC alex/happy Bison CFGs EBNF BNFC

App Development

Test-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum Pair Programming Literate Programming Unit Testing Amazon Web Services Docker Full-Stack Development

Programming Languages and Frameworks:

Preferred: Haskell or OCaml. Python.

Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language Generation

Computational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Text planning Surface realization

Familiarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Formal Verification and Specification Languages

Some familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:

CoQ Agda Idris Lean Prover F* Advanced Haskell (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs, Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML Petri Nets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams Parnas Tables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, and Epistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI Abductive Logic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded Semantics

Good Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:

RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

Intellimaticz Pte Ltd

Role: OpenShift Container Platform Engineer

Job Requisition Number: JR42663

Job Level: More than 10 years of experience (L4)

Location: Singapore

Role

OpenShift platform engineer will be responsible for ensuring the uptime, performance, and compliance of Red Hat OpenShift Container Platform (OCP) in accordance to bank standards. As an OpenShift Engineer, you will work with architecture, development, operations, and security teams to develop scalable and secure containerized environments using Red Hat OpenShift.

Having a strong background in Containerization, Linux administration, Virtualization, Networking, and Security will be required in successfully fulfilling this role; and in providing first class level 3 support.

Additionally, understanding application development lifecycles as well practical experience in working with continuous integration and continuous deployment tools as part of the container lifecycle will be useful.

Responsibilities:

· Design, implement, and configure OpenShift clusters and containerized applications.

· Develop and maintain technical documentation related to design, configuration, usage, troubleshooting, backup, recovery, etc., for all OCP environments.

· Provide Technical assessment and advisory in relation to design, installation, configuration, including system upgrade and migration of OCP environment, including the operators for OCP.

· Collaborate with development teams to onboard and optimize applications on the OpenShift platform.

· Implement best practices for containerization, orchestration, and automation using OpenShift.

· Troubleshoot Red Hat OCP configuration and services and container issues, working in collaboration with other relevant IT areas and vendor support towards a quick and effective resolution.

· Work on container security solutions and ensure compliance with security policies.

· Manage OpenShift clusters for performance, availability, and capacity planning.

· Perform assessments and health checks of existing solutions and provide best practice recommendation and guidance to Support team.

· Automate deployment process.

Experience (Mandatory):

· Minimum 10 years of practical experience in the implementation of OpenShift/Kubernetes environments

· Expertise with the RedHat OpenShift Container Platform/Kubernetes.

· Experience in dealing with container configuration management, especially Helm and app-of-apps concepts.

· Experience working with infrastructure as code technologies such as Ansible, Terraform.

· Knowledge of application development, ideally Java Spring Boot.

· Experience in CI/CD Pipeline.

Knowledge/Skills:

· Excellent interpersonal skills and clear communication style.

· Works in a collaborative fashion, elevates team results over individual results.

· Ability to work on multiple tasks simultaneously among changing priorities.

· Works well under pressure and resolve complex problems.

Please forward your resume in MS word format to [email protected]

Please do not send a PDF Format Resume. Send the following details

1. Notice period

2. Current Salary

3. Expected Salary

4. Visa Status in Singapore

5. Current Location

Candidate must possess at least a Professional Certificate, Diploma/Advanced/Higher/Graduate Diploma in Engineering (Electrical/Electronic), Engineering (Industrial), Others or equivalent.

Required language(s): Preferably English and Mandarin spoken.

At least 6 Year(s) of working experience in the related field is required for this position.

Preferably specialist in Engineering - Electrical or equivalent.

Must have knowledge in Instruments and Electrical System for Process Control Environment

Knowledge and understanding of SCADA, DCS System, PLC, Instrumentation, Field Devices.

Job Scope:

1) Maintenance of Field Instruments for multiple Process Plants

2) Troubleshooting and problem solving for field Instruments

3) Calibration and commissioning of field Instruments

4) Electrical equipment troubleshooting and general maintenance for the process plant

About Milkyway

Established in 1998, Milkyway International Chemical Supply Chain is a leading integrated chemical logistics service expert and innovator with a head office in Shanghai, China, and multiple locations in Asia, Europe, and the United States. We are a publicly listed company on the China mainboard with over 3900 employees and CNY 12 billion in revenue in 2022. Our core business includes global forwarding, tank & tanker, project & chartering, regional transportation, regional warehousing, chemical distribution, and environment protection. We take pride in providing outstanding service to the World's Fortune 500 companies, and we truly believe our employees are the most valuable assets. Every talent that is joining Milkyway Asia Pacific headquarter in Singapore will be making an impact in its history!

Please visit http://mwclg.com/global for more information.

We are looking for a Operation Executive to join our team. This position will be reporting to the Manager based in Singapore to support in the daily freight forwardng operations related to the Singapore office.

Location: Singapore

Responsibilities

· Responsible for import/ export operations.

· Planning and organize day to day operation for air / ocean shipment.

· Work closely with customers, carriers, co-loader, oversea agent, and contractors to ensure smooth of operations.

· Work closely with internal stakeholder resolve issues.

· Prepare shipping instruction / Bill of Lading and others shipping documents

· Billing and cost verification.

· Ensure that all jobs are monitored, costs, selling figures are accurately & timely updated in system

· Ensure all event data are updated correctly in system

· Communicate discrepancies/issues to team lead/manager when necessar

· Ensure follow company SOP and other duty assigns by department manager

Qualifications / Requirements

● At least 2 - 3-years’ experience in Freight Forwarding

● Must have DG and custom regulation, FTA COO knowledge is beneficial

● With SAP knowledge will be value added.

● Able to work under pressure in a fast changing and demanding environment

● Self-discipline, initiative, responsible and independent, meticulous.

● A good team player with good interpersonal, detail-oriented and communication skills

● Proficient in MS Office (Word, Excel, power point)

Job Responsibilities

- Support the production of scalable and optimised AI or machine learning (ML) models.

- Focus on building algorithms for the extraction, transformation and loading of large volumes of real-time, unstructured data to deploy AI or ML solutions from theoretical data science models.

- Run experiments to test the performance of deployed models, and identifies and resolves bugs that arise in the process.

- Work in a team setting and apply knowledge in statistics, scripting and programming languages required by the firm.

- Work with the relevant software platforms in which the models are deployed.

Min. 8 years working experience in piling foundation supervision during piling stage of the project; supervision in HDB BTO projects.

To carry out site supervision and inspection of the works to ensure the works are constructed to required quality and accuracy

Supervision & Inspection for bore piling, ERSS, earth retaining wall & precast work with approved dwg, specification, rule & regulation.

Monitoring in structural material test and checking Method Statements, tests and drawings

Work closely with Consultants, Client & authority and attend progress and technical meetings

Reply some RFA/RFI and Maintain updated drawings/RFA/ RFI, all site records

SPECIFIC RESPONSIBILITIES:

• ensures all drawings, bills of materials, purchase requisitions and quality checks are completed as per project schedule and ISO 9001 processes.
• conducts Design Reviews to analyze specifications, sketches, drawings, ideas, and related data to assess factors affecting component designs and the procedures and instructions to be followed.
• confers with customer representatives to review specifications and answer questions pertaining to installation of systems.
• supports during manufacturing, assembly, de-bug, and customer buy-off.
• writes technical reports, manuals and technical support documentation
• performs a wide variety of additional functions to meet project schedules and product deliveries
• reads, understands, and acts upon mechanical drawings including piece part and assembly drawings, work instructions, and procedures
• determines manufacturing methods, techniques, and procedures as required to perform tasks as required for to ensure designs perform as required
• designs test fixtures and setups as needs arise
• communicates with vendors to support procurement and to address issues
• Responsible for any other role as assigned by the Operations Manager