Total 2,922 Engineering job vacancies in d10 ardmore bukit timah holland road tanglin

Responsibilities

• Map out driving routes ahead of time to determine the most expedient trip
• Pick up clients from the place and at the time they’ve requested
• Collect payments and issue receipts
• Assist clients with loading and unloading
• Listen to traffic and weather reports to stay up-to-date on road conditions
• Adjust the route to avoid heavy traffic or road constructions, as needed
• Answer clients’ questions about the area and local places of interest
• Ensure the car seats are clean and comfortable for all riders
• Schedule regular car service appointments and report any issues
• Book car wash and detailing services to maintain interior and exterior cleanliness of the car

Requirements and skills

• Proven experience as a Driver
• A valid driver’s license
• A clean driving record
• Minimum visual acuity of 20/50 (or corrected to 20/50)
• Familiarity with GPS devices
• Knowledge of area roads and neighborhoods
• Ability to lift heavy packages and luggage
• Availability to occasionally take weekend and night shifts
• A polite and professional disposition
• Ability to remain calm in stressful driving situations (e.g. at rush hour)
• All Races welcome

Drive and operate trucks. Follow instructions; locate and read location and road maps. Pre-inspect truck. Pick up goods and materials, verify loads for accuracy, and deliver them as instructed.

Responsibilities

• Transport finished goods and raw materials over land
• Inspect vehicles for mechanical items and safety issues and perform preventative maintenance
• Plan routes and meet delivery schedules
• Document and log work/rest periods and kilometres spent driving and retain fuel/toll receipts
• Input “macros” into our automated system for each stage of the loading and unloading process
• Comply with truck driving rules and regulations (size, weight, route designations, parking and break periods) as well as with company policies and procedures
• Maneuver trucks into loading or unloading positions
• Collect and verify delivery instructions
• Report defects, accidents or violations

Requirements and skills

• Proven work experience as aDriving in Singapore Road
• Hands on experience with electronic equipment and software (GPS, AVL units, CB etc)
• Ability to drive long hours and travel regularly
• Extensive knowledge of applicable truck driving rules and regulations
• No recent moving or driving violations
• Adaptability and foresight to handle unexpected situations (traffic, weather conditions etc)
• Willing to submit to background/drug checks and provide employment recommendations
• Valid truck driving licence
• All races welocme

Job Title: Tooling Engineer (ID4607)
Location: : Woodlands
Working Hours: Mon – Fri 8.15am – 5.10pm, Alternate Sat 8.15am-12.45pm
Salary: $3500-$4000


DUTIES AND RESPONSIBILITIES:
1. Ensure Meeting all IATF16949 and Customer Specific Requirements.
2. Develop and improve Tooling/Molds for new and existing products.
3. Monitor and improve production output and yield of the new/existing Tooling/Molds.
4. Improve product quality and manufacturing capabilities of the new/existing products.
5. Devise action plan to address customer feedbacks/complaints, thus implementing Tooling/Molds improvements on new/existing products, and keep track till it meets customer's requirements.
6. Participate and implement cost improvement initiatives.
7. Conduct process-mapping, data collection, analyze data, makes inference, implement & track.
8. Provide daily production support to the Molding Operation.
9. Provide timely reporting to the Head of Department pertaining to work activities, progress and results.

OTHER DUTIES:
1. Participate in a Special Task Force as and when the needs arise.
2. Participate in Committee, for example, Safety Committee, Environment Committee, etc.
3. Participate in Industries 4.0 digitalization.

Find Your Dream Job With Us

WE ARE HIRING !! Apply now and make a difference.

Job Title: Cyber Defence Engineer

Job Requisition Number: JR29081

Job Level: Minimum 6-10 years of relevant experience (L3/L4)

Location: Singapore

Job Description

The Security engineer will support the day-to-day Security application administration, operations and development activities of the bank security suite of products with key objective to maintain, develop and enhance the detection, prevention, response and monitoring capabilities of GSOC using SIEM Security Analytics platform and solutions.

Key Responsibilities:

· Provide administration and operations end to end support to SIEM Security Analytics Platform and other security solutions related infrastructure deployed within the bank.

· Onboarding new log sources, enabling new use cases and supporting all existing use cases.

· Develop and support case management workflow, reports and dashboards.

· Manage and support the log management environment.

· Monitor SIEM internal logs to identify and resolve potential performance issues.

· Drive upgrades and migration to ensure solutions and or related platform are maintained in tip-top working conditions with proper documentation and RCA.

· Test and manage application functionalities, system and infrastructure changes, upgrades, enhancements, patches and troubleshooting.

· Work within established practices and handling guidelines to triage device outages.

· Available to respond to any requests and assist with troubleshooting activities along with proper documentation.

· Ability to understand of data generated by infrastructure and application across bank.

· Integrate data feeds into SIEM Solutions from on premise and cloud deployed devices and applications

· Automation development on existing data feed and contextual data so we get different data from various log feeds to one location.

· Manage and coordinate change & Incident process engagement with regards to current security solutions.

· Communicate effectively with a variety of internal teams and external contacts including technical and executive contacts.

Others:

· Normalization/Parsing the data/logs

· Experience with any insider threat tools

· Follow MIRTE ATT&CK framework and NIST methodology

Conduct regression testing on existing use cases and future enhancement by adding more new use cases to protect the bank from sophisticated Cyber-attacks

Requirements:

· Overall experience 8+ years of experience.

· 5+ years of relevant experience in the area for managing SIEM preferably Splunk/ArcSight

· Hands on experience in Advanced SIEM, Security Analytics solution, Linux and database (MySQL, Oracle/SQL)

· Very strong troubleshooting skills.

· Strong in providing operational support to any SIEM and other security platforms

· Strong knowledge in Syslog log management platform

· Experience in understanding end to end data flow

· Strong knowledge in understanding OS, Proxy, Network and other main-stream Infrastructure, Application, Access and Cloud logs.

· Strong Knowledge in developing custom parsers (regex) required for data ingestion for any infrastructure or application-based data feeds.

· Strong knowledge of optimizing performance and outages related to SIEM Solutions.

· Experience in normalize and data preparation to clean the data

· Experience in Data/Device Integration and provide the data back to another platform.

· Knowledge of the SOAR platform is an added advantage.

· Experience in Automation using any scripting languages like Python and Shell.

· Knowledge and hands-on experience on implementing Use Cases would be add-on.

Soft Skills

· Good written and verbal communication skills

· Process and procedure adherence.

· Strong analytical and problem-solving skills

· Effective time management and organizational skills.

Other Requirements

Willingness to perform on-call duties.

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

Please refer your friends for any IT openings as we have various positions.

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

1. Notice period

2. Current Salary

3. Expected Salary

4. Visa Status in Singapore

5. Current Location

Roles & Responsibilities

1. Design, Develop & Review Deliverables for Oil & Gas , Petrochemical Storage Terminal EPC Project such as control System Architecture, IO List (Up to Minium 5000 IO Points In a Single Project) , Specifications , Instrument Index , Control Valve List Wiring Diagram , Functional Description , Control Narrative , Cause & Effect Matrix and SIL Loop Study Knowledge .
2. Responsible and involve in project proposal site surveys, E&I items proposal costing, project budget preparation and project execution.
3. Responsible for engineering, configuring, programming and testing of PLC, PCS, TAS (Terminal Automation System), Telemetry System and SCADA software
4. Working closely with process engineers to size and selection of control valves and field instruments to meet the process requirements
5. Design Cable & Cable Tray Routing
6. Familiar in designing ELV Systems such as FAS, PAGA, EVC, CCTV, SACS
7. Responsible for preparation of Instrument list, Instrument Data-Sheets, Instrument cable schedules, FAT/ SAT procedures
8. Performed FAT, SAT &commissioning of control system with respect to Instrument, Electrical and Package, Manage the Signing -Off SAT reports with Client.
9. Ensure projects complete within given lead time
10. Ensure products meet customer requirements
11. Actively participated in safety studies and coordinated client & Vendor meetings
12. Co-ordination of project with customers and suppliers
13. Interface design, implementation and testing between various third-party systems using Field Bus, Modbus, BACnet and all other protocols
14. Lead supervisors and technicians in PLC/ DCS field work at sites
15. Implement and propose improvement works to clients
16. Monitor plant maintenance expenditure and carry out cost saving initiatives and price comparison for high value purchases of non-OEM services, materials and parts.

Requirements:

• Degree in Electronics/ Communication/ Electrical Engineering with at least 3 to 5 years relevant experience in automation/process industry
• EPC Project Experience within Oil & Gas Storage Terminal, Petrochemical and Hydrocarbon projects is preferred.
• Independent and self-motivated with good initiative and communication skills.
• Able to work under minimum supervision.
• Strong passion for project achievements.
• Strong knowledge for electrical & instrument systems of oil& gas , petrochemical and building construction.
• Knowledge and experience in network technologies is preferred (Ethernet, TCP/ IP, Fibre Optic, Modbus, Field Bus, CANBUS, etc.)
• Independent and self-motivated with good analytical skills.

Key Responsibilities:

• Coordinate logistics operations for construction projects, including transportation, fleet management, and material handling.
• Plan and schedule deliveries of materials, equipment, and supplies to construction sites in a timely manner.
• Communicate effectively with suppliers, vendors, and internal teams to ensure smooth logistics operations.
• Monitor inventory levels and coordinate inventory management activities to avoid shortages and overstock.
• Evaluate logistics performance and implement improvements to optimize efficiency and reduce costs.
• Ensure compliance with health and safety regulations related to logistics operations.
• Prepare and maintain accurate documentation and reports related to logistics activities.

Requirements:

• Bachelor’s degree in Logistics, Supply Chain Management, Business Administration, or a related field.
• Proven experience as a Logistic Executive or in a similar role within the construction industry.
• Strong understanding of logistics processes, procedures, and best practices.
• Excellent organizational and time-management skills with the ability to prioritize tasks.
• Exceptional verbal and written communication skills.
• Proficiency in logistics software and MS Office (especially Excel and Word).
• Ability to work effectively in a fast-paced environment and under pressure.
• Problem-solving skills and attention to detail.
• Knowledge of safety and regulatory requirements for logistics operations.
• Flexibility to adapt to changing priorities and project needs.

We are looking for a Sales Executive/Engineer to drive the sales of electronic components for our client a leading regional Electronics Components distributor. You will manage existing client relationships while expanding our customer base from multinational corporations to small and medium enterprises.

Key Responsibilities:

• Deliver compelling technical presentations on our products and services to customers.
• Collaborate with sales teams to assess customer requirements and provide effective sales support.
• Generate high-quality sales leads, follow up on initial contacts, secure and renew orders, negotiate pricing, and coordinate deliveries.
• Research and recommend products that align with customer needs.
• Gather and analyze client feedback to develop targeted sales and marketing strategies.
• Identify areas for improvement and communicate these insights, along with potential solutions, to management.
• Prepare detailed quotations and submit technical and sales reports.
• Set and achieve ambitious sales goals and quotas.
• Travel regionally for business as needed.

Requirements:

• A degree in engineering, marketing, business administration, or a related field is preferred.
• Minimum of 2-3 years of experience in sales within the electronics or semiconductor components industry, ideally with semiconductor distribution.
• Strong understanding of the local and regional electronics market, from multinational companies to SMEs.
• A personable demeanor with a patient approach to customer interactions.
• Excellent interpersonal, communication, customer service, and sales skills.
• Ability to convey technical information to non-technical audiences effectively.
• Confident negotiation and presentation skills.
• Strong work ethic with a commitment to meeting company goals.
• Demonstrated leadership and teamwork abilities.

To apply online kindly use the 'apply' function, alternatively you may send your resume to [email protected]

EA Licence No: 10C3426, EAP Reg. No: R1103531

Key Duties

• The Mechanical Inspector shall be capable of performing the following duties on his own:
• Check installations of static equipment, coating, painting, piping etc
• Review installation to ensure compliance with construction drawings
• Ensure installation has adequate space with operation and maintenance considerations
• Inspect pressure vessels, storage tanks etc and ensure safety devices are properly installed
• Active role in technical discussions with contractors and equipment suppliers
• Witness the commissioning of rotating and non-rotating equipment
• Proper record keeping of all inspection/witness activities carried out
• Perform inspection for defects clearing.
• Ensure defects are cleared before signing off
• Carry out other inspection/witness activities as assigned.

Requirements

• He should possess a diploma in Engineering from the polytechnics or other instituations. Other similar qualifications would be considered.
• He is preferred to have at least ten (10) years of inspection works in power plant, petrochemical plant or other heavy industries.
• Experience in handling EPC contractors and equipment suppliers will be an advantage.
• Experience with inspection of coating, painting, welding etc will be an advantage.
• Possession of other relevant qualifications and trainings would be favorable considered.

Role: Senior Network Engineer (Design & Implementation)

Location: Singapore, Tuas

Employement Type: Perm

The Senior Network Engineer ensures the availability, performance, and stability of IT infrastructure to support strategic goals. This role involves working within a team of system administrators and engineers to provide business support.

Responsibilities

• Support existing and future enterprise systems, optimizing IT infrastructure and providing strategic input for network planning.
• Design, install, evaluate, and troubleshoot wired and wireless network infrastructure, ensuring high performance and availability.
• Adhere to IT security policies, procedures, best practices, and change management processes.
• Create and maintain comprehensive documentation and diagrams for network projects, ensuring disaster recovery readiness.
• Implement and maintain network hardware, keeping infrastructure up to date with current technologies and coordinating upgrades.

Requirements

• Over 10 years of experience in large enterprise network environments, including multi-protocol networks, problem resolution, OSI model expertise, and Arista Network hardware familiarity, along with network management and proactive monitoring.
• Proficiency with various network monitoring tools and methodologies.
• In-depth understanding of advanced networking technologies such as MPLS, virtual route forwarding, policy-based routing, ether-channel, traffic-shaping, load balancing, VPN tunnels, WAN optimization, firewalls, VLANs, STP, Spine and Leaf architecture.
• Strong knowledge of structured cabling systems, network facilities, electrical requirements, and UPS.
• This role may be required to travel internationally.

EA License Number: 11C3017

EA Personnel Number: R21100713

✅ 5 Days

✅ 9am - 6pm

✅ Taiseng

Responsibilities:

• Design, develop and maintain device drivers for Windows Operation Systems
• Perform WHQL testing and certification of drivers and device frameworks
• Design, develop and maintain user libraries and DLLs
• Participate in all phases of SDLC and prepare corresponding documentation
• Porting and maintain existing drivers to new frameworks and OS
• Resolve any defects reported by customers
• Collaborate with USB host and device firmware development teams

Requirements:

• Minimum Degree or above in Computer Science/ Engineering
• Minimum 3-5 year of experience in Device Driver Development (USB)
• Proficient in C Programming, WDM & KMDF framework and Multi-Threading & DLLs
• Participation or experienced in SQA processes

You may “Using Apply Now Button” to send in your updated resume.

For more information, please reach us at 9138 5316

*Only shortlisted candidates would be notified*

Choek Wei Qi Joel

Registration Number: R1877109

Workstone Pte Ltd

EA License Number:19C9998

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 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 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

The primary focus of Applications Engineer is to support the sale and deployment of Synopsys Emulation & Prototyping solution - including functional verification & validation, debugging, FPGA synthesis & partitioning, and embedded software bring-up on emulation/prototyping system. The candidate is expected to work directly with customers & Synopsys R&D to deliver technical solutions, product demonstrations, resolve technical issues and conduct product training. This will include pre-sales consultation and working with customer to validate their SoC design with Synopsys Emulation & Prototyping solution. He/She will also participate in account planning and work with the sales team to develop account strategy to grow Synopsys Emulation & Prototyping solution.

We are looking for a self-motivated and dependable individual with following technical skills:

• Strong knowledge and experience on design validation with Emulation or FPGA prototyping system from RTL design and experience in compiling/ design bring-up on a FPGA emulation/prototyping platform. SoC /architectural design with RTL coding or design verification using Xilinx/Altera FPGA.
• Knowledge on Xilinx Virtex 7/UltraScale Architecture and hands-on experience on ISE/Vivado Design Suite/Place & Route.
• Experience in Synopsys Emulation or Prototyping Solution will be an added advantage.
• Proficiency in Verilog/VHDL/SystemVerilog programming or scripting language.
• Knowledge on Simulation/VCS, Assertions(SVA) Coverage, Low Power verification with UPF is a plus.
• Good knowledge in Simulation flows, Assertion, DPI and transactors/ transaction based verification.
• Sharp debugging and problem solving skills on FPGA designs, hardware system and RTL design is desirable.
• Good understanding of SW/HW debug methodologies with prior experience in any of standard SW/HW debug tools (Identify, ChipScope, SignalTap, Logic Analyzer etc.)
• Experience in SoC bus/high speed protocols including following but not limited to AMBA, AXI, USB PCIE will be an advantage.
• Good critical thinking and problem-solving skills. Experience in project execution from start to completion.
• Pleasant personality with good interpersonal and communication skills.
• Some travel within South East Asia region up to 2 weeks per trip and occasional travel to USA are expected
• Master in CS/EE/other Engineer field with 10+ years of experiences.

Inclusion and Diversity are important to us. Synopsys considers all applicants for employment without regard to race, color, religion, national origin, gender, sexual orientation, gender identity, age, military veteran status, or disability.

We are on the lookout for a Junior to Mid-level Data Scientist - Machine Learning Engineer who will play a key role in enhancing our Machine Learning capabilities, focusing on innovative solutions for insight generation and analytics. As a burgeoning hedge fund startup with a clear vision and commitment to the Asian market. This role is not just about technical expertise but also about aligning with our forward-thinking vision and being at the forefront of shaping our AI strategy.

Data Analysis & Modeling:

○ Develop, implement, and maintain predictive models using traditional machine learning and deep learning techniques.

○ Conduct thorough data analysis to extract actionable insights and perform time series analysis.

ETL & Data Management:

○ Design and develop efficient ETL pipelines to process and manage large volumes of financial data.

○ Ensure data integrity and accuracy across various data sources.

Cloud Computing:

○ Utilize Cloud services to deploy and manage machine learning models in a scalable and reliable manner.

○ Optimize Cloud resources for performance and cost-effectiveness.

End-to-End Solution Development:

○ Engage in the complete lifecycle of model development, from data collection and preprocessing to model deployment and monitoring.

○ Collaborate with cross-functional teams to integrate machine learning solutions into existing systems.

Innovation & Creativity:

○ Explore and implement innovative techniques to solve complex financial problems.

○ Stay current with the latest advancements in machine learning and data science to continually improve and innovate.

Result-Oriented Approach:

○ Focus on delivering high-impact results.

○ Communicate findings and recommendations effectively to stakeholders.

Qualifications:

● Bachelor’s or Master’s degree in Computer Science, Data Science, Statistics, Mathematics, or a related field.

● 3-5 years of hands-on experience in data science and machine learning.

● Proficiency in Python and relevant libraries (e.g., scikit-learn, TensorFlow, PyTorch).

● Experience with AWS/GCP/Azure services (e.g., S3, EC2, Lambda, SageMaker, Vertex AI, BigQuery).

● Strong understanding of ETL processes and tools.

● Demonstrated expertise in traditional machine learning algorithms and deep learning techniques.

● Solid experience with time series processing and analysis.

● Excellent problem-solving skills and a creative mindset.

● Strong communication and collaboration skills.

Role Purpose

To safely plan and load cargo onto the vessels operated in Swire Projects Fleet.

Role Accountabilities

• Assisting in cargo transport and engineering for any types of cargo on various vessels.
• Providing transport engineering solutions in areas such as heavy lifting, sea-fastening, ship stability and structural analysis.
• Preparing and updating cargo stowage, lifting, sea-fastening and other relevant operational plans.
• Providing technical support, advice, and solutions to the commercial and chartering teams in transport cargo projects tenders and enquiries.
• Planning and developing optimal operational and transport engineering solutions, which are safe and cost-effective cargo operations together with the commercial and operations teams, and cargo superintendents.
• Coordinating and managing cargo operations and projects.
• Attending technical and operations meetings with clients and various stakeholders.
• Assisting and ensuring all operations, i.e., loading and discharging, are conducted in accordance with the latest plans, relevant policies, procedures, agreements, and legislative requirements.
• Conducting pre-inspection of cargo and attending pre-operations meetings to ensure smooth and safe cargo - loading and discharging – operation.
• Supervising and assisting as Cargo Superintendent (CSI) on board during all loading and discharging operation.
• Monitoring and reporting of daily operations on board.
• Preparing detailed reports on the loading / discharge operations.
• Ensuring that all HSE company standards are maintained all the time by the vessel crew, stevedores, sub-contractor and third party on board during the ship’s port calls.

Safety

• Take responsibility for the safety of myself and those around me by displaying safety leadership principles (i.e. Safety I’s & Accountability ladder).
• Challenging and stopping unsafe acts and behaviours or unsafe conditions.
• Comply with the Global Safety Standards, Policies and Operating Procedures.

Key Qualifications & Skills

Qualifications & Technical Skills

• Minimum Bachelor’s degree in Naval Architecture, Ocean Engineering, Structural Engineering or equivalent.
• Knowledge and experience in Finite Element Analysis and relevant design standards, motion response, calculations such as stability, structural and strength verification, and structural design and drawings for Classification Society approvals.
• Demonstrated knowledge of Class Societies, Ship Classification Rules, and IMO Rules.
• Skills in AutoCAD and FEA software such as Ansys etc, are required.

Professional Skills

• Preferably having more than 5 years of related experience with cargo planning, structural analysis, and project management.
• Preferably having more than 5 years of related experience as Cargo Superintendent (CSI).
• Proven ability to interpret technical drawings, produce solutions and operate with an eye for detail.
• Self-starter and a committed team player with good interpersonal skills and an analytical mind.
• Well-developed communication and team skills with a dedicated approach to meeting customer requirements.
• Ability to multi-task in a fast-paced working environment.

By submitting your CV, you are deemed to have agreed and consent to the collection, use and/or disclosure of your personal data to the Company for the purposes of recruitment and employment only in accordance with the Company's Recruitment Data Privacy Policy on our website.

Swire Shipping is committed to ensuring equal equitable access and participation for persons who experience disability. SSL is committed to treating persons with disability in a way that allows them to maintain their dignity and independence. Reasonable adjustments can be made upon request based on understanding of those accommodations.

Across Swire Shipping, we seek to create a supportive and inclusive environment that embraces individuality and recognise the benefits that these differences make. We do this by ensuring that all individuals are treated with respect and understanding and actively promote Equal Employment Opportunity (EEO) and do not tolerate discrimination, harassment, bullying, retaliation or intimidation of any kind. We are committed to driving the strategy, policies and accountability to build and sustain a diverse global workforce, through equitable processes and systems where everyone can contribute their very best.

Field Application Engineer(Contract role)

The Field Applications Engineer will be responsible for providing technical support to customers, resolving technical issues, developing solutions to meet customer needs, and identifying and developing new business opportunities. As a field application Engineer, you will be responsible for a range of tasks related to the implementation, installation, and maintenance of hardware and software systems

Job scope:

• On-site Implementation: Conduct site surveys, mark and label areas, and install necessary shelves for equipment placement.
• Equipment Installation: Unpack and install equipment, perform equipment debugging, and conduct product testing.
• Deployment and Integration: Deploy software components, conduct system integration, and liaise with customers to ensure alignment with project requirements.
• Project Delivery: Participate in project management and risk assessment, report and troubleshoot issues, and facilitate the final delivery and acceptance of projects.
• Post-sale Maintenance: Perform preliminary troubleshooting and feedback for hardware and software issues, diagnose and resolve problems.
• Maintenance Services: Replace spare parts, conduct inspections and maintenance, track and report issues, and provide service feedback.
• Any Other Ad hoc projects

Qualification & qualities:

• Bachelor or higher degree in computer software, electronic communication, automation, or other related fields.
• Experiences in software, testing, automation or robotics would be a plus
• Highly motivated self-starter, able to work independently under pressure
• Candidates who can start immediately or with short notice is a plus

Salary Ranges from $5500-$7000

Interested applicants please send your resume in MS Words format to [email protected] and attn it to Alvis Ho (R1325239)

Short listed candidates will be notified

www.ambition.com.sg

EA Registration Number: R1325239

Data provided is for recruitment purposes only

Business Registration Number: 200611680D. Licence Number: 10C5117

1. Responsible to the Senior Engineer, Principal Engineer for the preparation of design as per codes/standards and client's specifications.

2. Prepares design proposals, do material take-off for civil and structural work.

3. Conducts site investigation/checks for data acquisition, as-built for design and tender work.

4. Liaise with the accredited Professional Engineer (PE) for calculations, drawings to comply with authority requirements.

5. Coordinating the site team, including assigning tasks, providing guidance, and monitoring performance to ensure tasks are completed safely and efficiently by following all safety regulations, protocols, and guidelines.

6. Monitor the dateline and progress of the job and make sure on time submission of claim.

Qualification & Experience Generally Required

• Bachelor's degree in Civil/Structural or equivalent engineering disciplines.
• Min 5 years experiences working in process plant evironment.
• Knowledge and Hands-on with AutoCad, TEKLA Structure, Autodesk Revit, Naviswork Manage.
• Able to attend emergency call from customer especially on weekend

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

JOB SUMMARY

We are seeking a highly skilled and experienced Senior Building Operation Engineer to join our team as a key leader in our engineering department. The successful candidate will play a pivotal role in overseeing the daily operations of building systems, with a primary focus on M&E and Air Conditioning and Mechanical Ventilation (ACMV) systems. The individual will be responsible for managing a team of shift leads and technicians, ensuring the seamless functioning of our facility.

ESSENTIAL DUTIES AND RESPONSIBILITIES

• Technical Expertise: Demonstrate in-depth technical knowledge of Building General M&E, ACMV systems, and Process Utility Systems(CDA, UPW, PCW, PVAC, Scrubber, etc.).

• Team Management: Lead and manage a team of shift leads and technicians to ensure optimal performance and efficiency.

• System Oversight: Oversee the operation, maintenance, and troubleshooting of building systems to ensure reliability and compliance with industry standards.

• Preventive Maintenance: Develop and implement preventive maintenance programs to minimize downtime and extend the lifespan of equipment.

• Emergency Response: Respond promptly to emergency situations, coordinate with relevant teams, and implement corrective actions to resolve issues efficiently.

• Documentation: Maintain accurate records of equipment, maintenance activities, and compliance documentation.

• Collaboration: Collaborate with other departments to ensure a coordinated and integrated approach to facility management.

SUPERVISORY RESPONSIBILITIES

Supervises technical shift team who support the site on a 24 x 7 basis. Responsible for ensuring shift coverage and delivery of planned and preventative maintenance works. Provide coaching, assistance such as technical guidance and training to co-workers. Coordinate site works and assign tasks. Foster a collaborative and positive work environment.

QUALIFICATIONS

• Proven experience as a Building Operation Engineer or similar role.

• In-depth knowledge of Building General M&E, ACMV systems, and Process Utility Systems.

• Strong leadership and team management skills.

• Excellent problem-solving and decision-making abilities.

• Ability to work effectively in a fast-paced and dynamic environment.

EDUCATION and EXPERIENCE

• Bachelor's degree or Diploma in Facility Management, Mechanical or Electrical Engineering or a related field.

• Knowledge and understanding of all applicable good practices and techniques, laws, project controls and environmental regulations to include safety regulations.

• Previous experience in a supervisory or managerial role is preferred.

CERTIFICATES and/or LICENSES

Universal CFC certification preferred. Additional certification in one or more of the following: electrical, mechanical, HVAC and refrigeration systems, process controls, mechanical power transmissions, painting, plumbing, carpentry or engine repair. Certifications/licenses as may be required by local jurisdictions.

COMMUNICATION SKILLS

Ability to comprehend, analyse, and interpret the complex business documents. Ability to respond effectively to the most sensitive issues. Ability to write reports, manuals, speeches and articles using distinctive style. Ability to make effective and persuasive presentations on complex topics to employees, clients, top management and/or public groups. Ability to motivate and negotiate effectively with key employees, top management, and client groups to take desired action.

FINANCIAL KNOWLEDGE

• Understanding of budgeting and cost management related to building operations.

• Ability to contribute to financial planning and decision-making.

REASONING ABILITY

Ability to solve advanced problems and deal with a variety of options in complex situations.

Analytical mindset with the ability to assess situations and make sound decisions. Strong problem-solving skills.

OTHER SKILLS and/or ABILITIES

• Proficient in the use of computerized maintenance management systems (CMMS).

• Familiarity with relevant safety codes and regulations.

• Proficiency in Microsoft Office Suite.

• Ability to adapt to changing priorities and manage multiple tasks simultaneously.

• Strong interpersonal skills for effective collaboration with internal and external stakeholders.

Role:Data centre Operation

Job Description & Requirements

Responsibilities

Rack, Build, cable, configure, and provision Intel and AMD Servers

Rack, cable, and deploy Cisco Layer 2 networking equipment

Troubleshoot, test, quality assurance of Server hardware

Professionally resolve hardware issues via trouble ticket

Desired Experience:

1 to 3 Years of experience

Experience in PC Hardware and Server Hardware (on Job training provided)

Operating System Installation - Windows Server, Linux, Unix

PC Assembly and HW troubleshooting

Understanding of basic hardware troubleshooting and applying logical methods of resolution

Basic Networking Knowledge

Rack, cable, and deploy Cisco Layer 2 networking equipment a plus

Experience with RAID levels is a plus

1. Attent Project Meeting and inform management if any changes

2. able to understand working drawing and maintain work with SS & client requirement

3. able to distribution job to worker and report manegement

4. update worker time card and sumbit office every 15 days

6. prepare job done certification and get sign from maincon

7. able to immidiate action if client ask for anything

8. may need to works shifting basis

9. Submit Progress report and highlight drawing

10. and any other job which asign by management

Roles & Responsibilities

Job Description

· Deliver network projects. Engineer is required to implement network infrastructure including LAN/WAN, Firewalls, PC setup, wireless solutions and others.

· Responsible for network design, development, implementation, testing, troubleshooting, meeting and preparing completion document.

· Gather the technical requirement, develop high- & low-level design, implementation and user acceptance plan and so on to customer.

· Primary handle PC setup. Other products include FortiGate, Juniper, Ruckus, Palo Alto etc, it would be variable depends on the requirement from customer

· Work with vendors and suppliers/principals to deliver the projects.

· Project Management role such as prepare work breakdown structure (WBS), issue management list, meeting minutes etc.

· Support maintenance team to perform corrective maintenance when required.

Requirements

• Bachelor's degree or Diploma in Computer Science, Information Technology, or a related field
• Proven track record of at least 2 years in a similar post-sales engineering role.
• Strong understanding of network infrastructure and telecommunications technologies
• Excellent problem-solving and analytical skills
• Exceptional communication and interpersonal skills
• Ability to prioritize and manage multiple tasks efficiently